diff options
Diffstat (limited to '2025/ocaml/test/domain/dune')
| -rw-r--r-- | 2025/ocaml/test/domain/dune | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/2025/ocaml/test/domain/dune b/2025/ocaml/test/domain/dune deleted file mode 100644 index 1364288..0000000 --- a/2025/ocaml/test/domain/dune +++ /dev/null @@ -1,11 +0,0 @@ -(tests - (names - test_d01p01 - test_d01p02 - test_d03p01) - (libraries - domain - alcotest - qcheck-core - qcheck-alcotest) - (modes byte exe)) |