diff options
Diffstat (limited to 'raw-wiki-dump/GitRepositories%2Fuser%2Fjakob')
| -rw-r--r-- | raw-wiki-dump/GitRepositories%2Fuser%2Fjakob | 17 |
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]] || |