fix ruler scaling -- #7226
authorRobin Gareus <robin@gareus.org>
Fri, 5 May 2017 11:58:59 +0000 (13:58 +0200)
committerRobin Gareus <robin@gareus.org>
Fri, 5 May 2017 12:00:30 +0000 (14:00 +0200)

No differences found