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