aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-10 15:04:43 -0500
committerMarc Coquand <marc@mccd.space>2024-05-10 15:04:43 -0500
commit4175da366830c0ef3bf40ddb1e6594ac5dbe3866 (patch)
tree14e84c6382fe063c1608485e2656dd245ff03198 /test/dune
downloadapbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.tar.gz
apbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.tar.bz2
apbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.zip
Initial commit
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune2
1 files changed, 2 insertions, 0 deletions
diff --git a/test/dune b/test/dune
new file mode 100644
index 0000000..d392dd2
--- /dev/null
+++ b/test/dune
@@ -0,0 +1,2 @@
+(test
+ (name test_apbox))