Joscha 519a7ef435 Split --dump-config into two options ...

--dump-config with its optional argument tended to consume the command name, so
it had to be split up.

2021-05-25 17:17:35 +02:00

..

__init__.py

Implement CLI Command for ilias crawler

2021-05-23 13:30:42 +02:00

command_kit_ilias_web.py

Overhaul config and CLI option names

2021-05-25 14:23:38 +02:00

command_local.py

Fix CLI arguments

2021-05-23 12:24:21 +02:00

parser.py

Split --dump-config into two options

2021-05-25 17:17:35 +02:00