diff options
| author | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-11-24 16:11:03 +0100 |
|---|---|---|
| committer | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-11-24 16:11:03 +0100 |
| commit | 2a0a56443d26804524d97d08d476ee10332df2d0 (patch) | |
| tree | b4bc4281b377a88508bb789723d0989d9ab2d0c1 /misc/scripts/make_glwrapper.py | |
| parent | 3d0aec7a81131ffb2080f26e4f4544e7a30670eb (diff) | |
Remove option for the rulers graduations font size
Diffstat (limited to 'misc/scripts/make_glwrapper.py')
0 files changed, 0 insertions, 0 deletions