diff options
author | Ruslan Mustakov <r.mustakov@gmail.com> | 2017-08-19 11:59:00 +0700 |
---|---|---|
committer | Ruslan Mustakov <r.mustakov@gmail.com> | 2017-08-19 11:59:00 +0700 |
commit | 02670a380655b78d010b57432d433e8b249806a7 (patch) | |
tree | fb1d15a0f415f0c629da2bba6e693dc99e9f8edb /editor/editor_settings.h | |
parent | e61d547ed08924d75e18469fe648463dee3bd5a3 (diff) |
Quit after command-line export
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions