summaryrefslogtreecommitdiff
path: root/raw-wiki-dump/GitRepositories%2Fuser%2Fjakob
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2020-09-13 23:06:24 +0000
committerRob Austein <sra@hactrn.net>2020-09-13 23:06:24 +0000
commit891730d13b324fad916572a82f0bd610c5de9aad (patch)
treef46c94ddfff34f15aafe7cac0596716d1c13c412 /raw-wiki-dump/GitRepositories%2Fuser%2Fjakob
parentb092ffbcbe2c9398494f7dc9db6f0796971633e0 (diff)
Rename for conversion
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]] ||