diff options
author | /dev/humancontroller <devhc@example.com> | 2014-07-13 19:16:38 +0200 |
---|---|---|
committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:13 +0100 |
commit | 5547ccc17c80e5ded246cd5ae3a5d88fc819482c (patch) | |
tree | 7f825308765aa68d33664fb67b11acfb5635ee9f /src/tools | |
parent | f62e00c4ac73d7b3803cad8bd8eaa260531b0381 (diff) |
implement setdevmode: an admin command to switch developer mode on or off
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions