Marcin Kuzminski 2910f510dc repositories: added option to archive repositories instead of deleting them. ... - closes #5493		2018-09-25 17:28:11 +02:00
..
__init__.py	repositories: added option to archive repositories instead of deleting them.	2018-09-25 17:28:11 +02:00