diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-12 23:16:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-12 23:16:14 +0100 |
| commit | ceac8a780eb50ec7b28c8e7a824bf3ab3c1fd629 (patch) | |
| tree | 4716fcec167761b1bb38c74bfdd7aa7a21c89b59 /tools/editor/doc/doc_dump.h | |
| parent | 530de920d48e43d96502c70928d13683e5083857 (diff) | |
| parent | 1bd1af776c111f1efdd9a3b0259d8f916c052ef2 (diff) | |
Merge pull request #7740 from magyar123/master
Add editor option for closing the output when stopping the game.
Diffstat (limited to 'tools/editor/doc/doc_dump.h')
0 files changed, 0 insertions, 0 deletions