Skip to content

Commit 8d8fd30

Browse files
MouqMouq
committed
WIP...
1 parent 2a0a399 commit 8d8fd30

File tree

3 files changed

+200
-210
lines changed

3 files changed

+200
-210
lines changed

‎.gitignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,6 @@ html/routine/
66
html/type/
77
html/op/
88
html/language/
9-
html/syntax/
9+
html/misc/
1010
html/images/type-graph*
1111
html/js/search.js

0 commit comments

Comments
 (0)