diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-04-13 11:30:00 +0000 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-04-15 17:24:19 +0200 |
| commit | fca46b606ef2019ca62923d4fea65da368d83496 (patch) | |
| tree | d487c6fb0f3d0deaf04804a19c5fae09a02d2c80 /GNUmakefile | |
| parent | 253c9f1c8a1801736ab77098a407fafafd83f603 (diff) | |
stop closing the UI menus upon death
because it's annoying
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions