diff options
| author | Erovia <erovia@users.noreply.github.com> | 2020-04-05 11:17:12 +0200 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2020-04-08 09:31:14 -0700 |
| commit | 8fe5c718b499fb1a19bc5b49c5c91a6fc21d2477 (patch) | |
| tree | 5a5a57afa4553d8a81c3136d00c9e08d1d9202e5 /.gitmodules | |
| parent | 38f14c4174afe7c576e8bd032f18b1dcceaf9c77 (diff) | |
Fix edge-case with config
Without this check, users can lock themselves out by enabling developer
mode, than disabling the dependencies. They wouldn't be able to turn off
developer mode as none of the subcommands (including 'config') would
work.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions