diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-26 20:33:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-26 20:33:22 +0100 |
| commit | 2879e6f7ceb903d8406828e8b0cf0c28c88330a0 (patch) | |
| tree | 850e332e14dc4bfd1bf2699182dc3cbfe38acf8a /misc/scripts/make_glwrapper.py | |
| parent | dc3509b2aafe435ffd6c8d22f966f7ccd3575c4e (diff) | |
| parent | 2a0a56443d26804524d97d08d476ee10332df2d0 (diff) | |
Merge pull request #13247 from groud/fix_this_stupid_setting_I_added
Remove option for the rulers graduations font size
Diffstat (limited to 'misc/scripts/make_glwrapper.py')
0 files changed, 0 insertions, 0 deletions