WIP...

Raku · Nov 14, 2014 · 8d8fd30 · 8d8fd30
1 parent 2a0a399
commit 8d8fd30
Show file tree

Hide file tree

Showing 3 changed files with 200 additions and 210 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,6 +6,6 @@ html/routine/
 html/type/
 html/op/
 html/language/
-html/syntax/
+html/misc/
 html/images/type-graph*
 html/js/search.js