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 /platform/javascript/engine.js | |
| parent | 3d0aec7a81131ffb2080f26e4f4544e7a30670eb (diff) | |
Remove option for the rulers graduations font size
Diffstat (limited to 'platform/javascript/engine.js')
0 files changed, 0 insertions, 0 deletions