diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-03-09 09:43:41 +0100 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:16 +0100 |
| commit | ff4fd573a91bc027c935f32fab107eca66659141 (patch) | |
| tree | 5d51aa7ffc519f6981b9c89913e3af5abfc07769 /misc | |
| parent | 338636fdc2a9fcb404630b7eb9c5735e1f35f99d (diff) | |
retain the developer mode setting across map changes
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions