Martin Hořeňovský 11f716f28d Make Approx::margin inclusive
Fixes #952, related to #980
2017-10-31 14:49:00 +01:00
..
2017-10-31 14:49:00 +01:00
2017-10-31 14:49:00 +01:00
2017-09-07 17:25:15 +02:00