diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-22 21:42:55 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-22 21:42:55 +0100 |
commit | 6354358caa1dfbf2fe1d481f6ac5fba3775938fc (patch) | |
tree | 4fd24d821f37a0626754f6f5078ac77ffe5c469c /blog/dune | |
parent | 1f1f13a3f02e7f5f5da5926a402d53f2ccbfe536 (diff) |
Blog integration
Diffstat (limited to 'blog/dune')
-rwxr-xr-x | blog/dune | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/blog/dune b/blog/dune new file mode 100755 index 0000000..532a7ee --- /dev/null +++ b/blog/dune @@ -0,0 +1,8 @@ +(library + (name blog) + (libraries + brr + brr.note + js_of_ocaml-tyxml) + (preprocess (pps tyxml-ppx)) + ) |