diff options
Diffstat (limited to '')
| -rw-r--r-- | test/dune | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/dune b/test/dune deleted file mode 100644 index 2f3e5eb..0000000 --- a/test/dune +++ /dev/null @@ -1,6 +0,0 @@ -(library - (name test_relational_engine) - (libraries relational_engine) - (inline_tests) - (preprocess - (pps ppx_inline_test))) |