diff options
| author | Erovia <Erovia@users.noreply.github.com> | 2019-11-21 21:52:00 +0100 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2019-11-21 12:52:00 -0800 |
| commit | 7e7eb69edffca39b51e8fdcd5eaa76262e16eaf4 (patch) | |
| tree | 68413d22bb38d8ed2534eb1f705d6e19ebab68e6 /users/pvinis | |
| parent | f0790a722d5a586e3621487b554fd217839c24c0 (diff) | |
MILC: Add support for hidden subcommands (#7034)
* MILC: Add support for hidden subcommands
Subcommands with 'hidden=True' will not show up in the help output, but
will work as any other subcommands.
* Hide those hidden submodules, for real now
* Rebase on latest MILC
Diffstat (limited to 'users/pvinis')
0 files changed, 0 insertions, 0 deletions