Josef Heinen 31f080e4f4 Merge pull request #1038 from piever/grmargin
Adjust margin (ticks + margin given by user) with GR ( fix #1028 )
2017-08-24 20:58:41 +02:00
..
2017-08-23 18:19:36 +01:00
2017-06-09 08:43:01 -07:00
2017-08-18 09:48:36 +02:00
2017-08-16 17:45:32 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-06-07 23:55:30 +02:00
2017-08-18 09:48:36 +02:00
2017-08-18 09:48:36 +02:00
2017-08-20 14:06:15 +01:00