Matthias 03e60b9ea4 Rename folder_Operations to directory_operations		2019-07-29 06:15:49 +02:00
..
__init__.py	do not export ARGS_* from configuration	2019-07-15 01:55:35 +03:00
arguments.py	Add user_data_dir to configuration	2019-07-28 14:57:05 +02:00
check_exchange.py	make configuration a sep. module, including arguments	2019-07-12 00:49:23 +03:00
cli_options.py	Add create-userdir command to initialize a user directory	2019-07-28 14:57:05 +02:00
configuration.py	Rename folder_Operations to directory_operations	2019-07-29 06:15:49 +02:00
directory_operations.py	Rename folder_Operations to directory_operations	2019-07-29 06:15:49 +02:00
json_schema.py	make configuration a sep. module, including arguments	2019-07-12 00:49:23 +03:00