diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-12-04 11:45:04 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-04 11:45:04 -0300 |
commit | 1a317a39edbad6452a17d1c5c3b6e2da51ca2e91 (patch) | |
tree | 7d21072f058d705f9191bcd81089505795f6656f /editor/icons/icon_reload_small.svg | |
parent | 055c5600c8877ebe44c80fa853cca4b6b553eb0a (diff) | |
parent | c2a7d186bdef9daa284b5fd8b2e6ac1b3134c928 (diff) |
Merge pull request #13961 from groud/rulers_by_default
Make rulers on by default
Diffstat (limited to 'editor/icons/icon_reload_small.svg')
0 files changed, 0 insertions, 0 deletions