diff options
Diffstat (limited to 'raw-wiki-dump/GitRepositories%2Fuser%2Fjakob')
-rw-r--r-- | raw-wiki-dump/GitRepositories%2Fuser%2Fjakob | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob b/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob new file mode 100644 index 0000000..00d5027 --- /dev/null +++ b/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob @@ -0,0 +1,17 @@ +{{{ +#!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]] || |