diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 15:38:37 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:01:12 +0100 |
| commit | 77544bdfad2af41514ec1435f706fee87ea2969e (patch) | |
| tree | 4de23870e08711da25ff92e9670370fc0a74e459 /blog/dune | |
| parent | ad526111f0dd619ae9e0e98ef2253146b58a068f (diff) | |
Added viz.js code
Diffstat (limited to 'blog/dune')
| -rwxr-xr-x | blog/dune | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/blog/dune b/blog/dune deleted file mode 100755 index 648990f..0000000 --- a/blog/dune +++ /dev/null @@ -1,21 +0,0 @@ -(rule - (targets hash_host.ml) - (enabled_if (= %{profile} dev)) - (action (copy# hash_host/hash_localhost.ml hash_host.ml))) - -(rule - (targets hash_host.ml) - (enabled_if (<> %{profile} dev)) - (action (copy# hash_host/hash_blog.ml hash_host.ml))) - -(library - (name blog) - (libraries - brr - brr.note - elements - ) - (preprocess (pps ppx_hash)) - - - ) |