Thu, 28 Mar 2019 14:18:54 +0100
fixes that pull downloads the history collection
408
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
1 | --- |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
2 | title: 'dav remove-repository' |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
3 | --- |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
4 | |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
5 | **`dav remove-repository <reponame>`** |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
6 | |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
7 | This command removes a repository from the config.xml file. |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
8 | |
f71eab18ed38
more dav documentation
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
9 | **Command alias:** remove-repo, rm-repo |