docs/src/remove-repository.md@24b317ce5ca9
docs/src/remove-repository.md
Sun, 02 Jul 2023 11:06:14 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 02 Jul 2023 11:06:14 +0200
- changeset 769
- 24b317ce5ca9
- parent 408
- f71eab18ed38
- permissions
- -rw-r--r--
fix crash in merge_tags() when one list was NULL
--- title: 'dav remove-repository' --- **`dav remove-repository <reponame>`** This command removes a repository from the config.xml file. **Command alias:** remove-repo, rm-repo
