diff options
Diffstat (limited to 'services/dune')
-rw-r--r-- | services/dune | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/services/dune b/services/dune new file mode 100644 index 0000000..fe10406 --- /dev/null +++ b/services/dune @@ -0,0 +1,10 @@ +(library + (name services_impl) + (libraries + path + services + v_string + ) + (preprocess (pps ppx_yojson_conv)) + ) + |