diff options
Diffstat (limited to 'raw-wiki-dump/Documents')
-rw-r--r-- | raw-wiki-dump/Documents | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/raw-wiki-dump/Documents b/raw-wiki-dump/Documents deleted file mode 100644 index 26397bd..0000000 --- a/raw-wiki-dump/Documents +++ /dev/null @@ -1,21 +0,0 @@ -= Presentations and Design Documents =
-
-{{{
-#!comment
-
-Remember that links from this page to files in git repositories should use the "export:" tag, eg:
-
-[export:/doc/blarg.pdf "An interesting presentation about Blargs"]
-
-}}}
-
-[RandomnessTesting Randomness Testing Tools][[BR]]
-
-[AlphaBoardStrategy Alpha board strategy]
-
-[export:/doc/design/Alpha_board_drawing.pdf "Alpha board drawing"]
-
-[AlphaBoardPictures Alpha board pictures]
-
-Placeholder until somebody fills this in with something else interesting.
-
|