diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-19 10:36:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-19 10:36:03 +0200 |
commit | c57671f0b317f31f766b54578d544cd80454335e (patch) | |
tree | 50b55793a550494237ce4852d41076a4fa59f97e /core/dictionary.cpp | |
parent | 9acd9f8e454332547b04f6a9f4c6d75a63a0b18d (diff) | |
parent | 02670a380655b78d010b57432d433e8b249806a7 (diff) |
Merge pull request #10435 from endragor/export-quit
Quit after command-line export
Diffstat (limited to 'core/dictionary.cpp')
0 files changed, 0 insertions, 0 deletions