diff options
| author | /dev/humancontroller <devhc@example.com> | 2015-06-14 15:22:09 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:16 +0100 |
| commit | fd05e89083603366d816445350b632ae60bc4387 (patch) | |
| tree | 2b4bb156584235b025ca653987762056d28b771d /misc/GPL | |
| parent | 189239bc44323954c70fa9cd61d955fc3345673d (diff) | |
do not "exit the level" multiple times when using admin/console commands
Diffstat (limited to 'misc/GPL')
0 files changed, 0 insertions, 0 deletions