diff options
| author | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-12-05 10:45:27 +0100 |
|---|---|---|
| committer | Gilles Roudiere <gilles.roudiere@laas.fr> | 2017-12-05 10:45:27 +0100 |
| commit | 03c1b6be23009ca67eb585783ec0f76d9c535c88 (patch) | |
| tree | a9c9e6ebe68a3d15330c2b63ac044619dc44455b /platform | |
| parent | 804035945809ef537aec76ef211352eaf42f3415 (diff) | |
Fix a little mistake in a setting name (rulers->guides)
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions