Skip to content

Use doubles instead of floats, +-infty instead of min/max (or even 999).

Martin Heistermann requested to merge dev-mh into master

Merge request reports