diff options
Diffstat (limited to 'raw-wiki-dump/GitRepositories%2Fuser%2Fpaul.md')
| -rw-r--r-- | raw-wiki-dump/GitRepositories%2Fuser%2Fpaul.md | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/raw-wiki-dump/GitRepositories%2Fuser%2Fpaul.md b/raw-wiki-dump/GitRepositories%2Fuser%2Fpaul.md deleted file mode 100644 index c57b15b..0000000 --- a/raw-wiki-dump/GitRepositories%2Fuser%2Fpaul.md +++ /dev/null @@ -1,18 +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/paul/hashsig-naive| user/paul/hashsig-naive]] |`https://git.cryptech.is/user/paul/hashsig-naive.git` | [[wiki:GitRepositories/user/paul/hashsig-naive| README]] | -|[[source:/user/paul/libcli| user/paul/libcli]] |`https://git.cryptech.is/user/paul/libcli.git` | | |