diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-03-22 15:06:01 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-03-22 15:06:01 -0300 |
commit | c16276b414df597d2740e3e640df79667db66c22 (patch) | |
tree | 67385d1403dfa0fdf89f218aa1920d8048579286 /core/io | |
parent | f706e3e5d1d93c5666a1edabec1aeee318996d6f (diff) | |
parent | 56402900ff002c68734cc1de0f53b78f23154f77 (diff) |
Merge pull request #1378 from erbridge/settings_not_checkbox
Make View > Settings a non check item
Diffstat (limited to 'core/io')
0 files changed, 0 insertions, 0 deletions