diff options
Diffstat (limited to 'ppx_hash/dune')
-rwxr-xr-x | ppx_hash/dune | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ppx_hash/dune b/ppx_hash/dune new file mode 100755 index 0000000..7cb4bc8 --- /dev/null +++ b/ppx_hash/dune @@ -0,0 +1,6 @@ +(library + (name ppx_hash) + (kind ppx_deriver) + (libraries ppxlib ) + (preprocess (pps ppxlib.metaquot)) + ) |