diff options
Diffstat (limited to 'raw-wiki-dump/Documents.md')
| -rw-r--r-- | raw-wiki-dump/Documents.md | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/raw-wiki-dump/Documents.md b/raw-wiki-dump/Documents.md deleted file mode 100644 index 77593fd..0000000 --- a/raw-wiki-dump/Documents.md +++ /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. - |