diff options
Diffstat (limited to 'raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md')
| -rw-r--r-- | raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md b/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md deleted file mode 100644 index f231a1a..0000000 --- a/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.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:/user/jakob/benchmark| user/jakob/benchmark]] |`https://git.cryptech.is/user/jakob/benchmark.git` | [[wiki:GitRepositories/user/jakob/benchmark| README]] | -|[[source:/user/jakob/tamper| user/jakob/tamper]] |`https://git.cryptech.is/user/jakob/tamper.git` | [[wiki:GitRepositories/user/jakob/tamper| README]] | |