Skip to content

Commit 16c0b28

Browse files
lubegasimonlubegasimon
committed
draft
1 parent 0c45ebb commit 16c0b28

24 files changed

+1780
-9
lines changed

‎.DS_Store

6 KB
Binary file not shown.

‎Dofile

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
html:
2+
bash ./run.sh test.mli
3+
open -a safari out/test/Test/index.html
4+
5+
md:
6+
bash ./run_md.sh test.mli
7+

‎out/highlight.pack.js

+2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)