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 /servers/visual | |
| parent | 9acd9f8e454332547b04f6a9f4c6d75a63a0b18d (diff) | |
| parent | 02670a380655b78d010b57432d433e8b249806a7 (diff) | |
Merge pull request #10435 from endragor/export-quit
Quit after command-line export
Diffstat (limited to 'servers/visual')
0 files changed, 0 insertions, 0 deletions