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, 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]] ||