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-09-07 17:25:15 +02:00
2017-09-26 14:13:08 -07:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-09-06 15:44:42 +01:00
2017-09-07 17:25:15 +02:00
2017-08-30 15:53:39 +02:00
2017-09-07 17:25:15 +02:00
2017-09-07 17:25:15 +02:00
2017-07-27 11:32:01 +02:00
2017-09-07 17:25:15 +02:00
2017-10-12 13:06:41 +01:00