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