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 /core/os | |
| parent | 055c5600c8877ebe44c80fa853cca4b6b553eb0a (diff) | |
| parent | c2a7d186bdef9daa284b5fd8b2e6ac1b3134c928 (diff) | |
Merge pull request #13961 from groud/rulers_by_default
Make rulers on by default
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions