aboutsummaryrefslogtreecommitdiff
path: root/lib/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 /lib/dune
downloadapbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.tar.gz
apbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.tar.bz2
apbox-4175da366830c0ef3bf40ddb1e6594ac5dbe3866.zip
Initial commit
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune
new file mode 100644
index 0000000..ef9e0fc
--- /dev/null
+++ b/lib/dune
@@ -0,0 +1,2 @@
+(library
+ (name apbox))