diff options
Diffstat (limited to 'raw-wiki-dump/GitRepositories%2Fdoc.md')
-rw-r--r-- | raw-wiki-dump/GitRepositories%2Fdoc.md | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/raw-wiki-dump/GitRepositories%2Fdoc.md b/raw-wiki-dump/GitRepositories%2Fdoc.md deleted file mode 100644 index 2261469..0000000 --- a/raw-wiki-dump/GitRepositories%2Fdoc.md +++ /dev/null @@ -1,18 +0,0 @@ -``` -#!htmlcomment - -This page is maintained automatically by a script. Don't modify this page by hand, -your changes will just be overwritten the next time the script runs. Talk to your -Friendly Neighborhood Repository Maintainer if you need to change something here. - -``` - -# Git Repositories - -This page lists links to the currently available git repositories. -Clone these with git to pull your own copies of the sources. - -| Repository | URL for git cloning | | -|---|---|---| -|[[source:/doc/design| doc/design]] |`https://git.cryptech.is/doc/design.git` | [[wiki:GitRepositories/doc/design| README]] | -|[[source:/doc/presentations| doc/presentations]] |`https://git.cryptech.is/doc/presentations.git` | [[wiki:GitRepositories/doc/presentations| README]] | |