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, 18 insertions, 0 deletions
diff --git a/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md b/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md new file mode 100644 index 0000000..f231a1a --- /dev/null +++ b/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob.md @@ -0,0 +1,18 @@ +``` +#!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]] | |