summaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
authorScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:48 -0700
committerScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:48 -0700
commitede8966c44cca6854012078329482a70235a19ce (patch)
tree3e6629114cc11037a6364b30e6c63c402d3ccca6 /lib/dune
parenta4c197dea1a0192b93e205daf8738f99a4f039b2 (diff)
downloadagate-ede8966c44cca6854012078329482a70235a19ce.tar.gz
agate-ede8966c44cca6854012078329482a70235a19ce.tar.bz2
agate-ede8966c44cca6854012078329482a70235a19ce.zip
Deleted everything but the one scriptHEADmain
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune2
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/dune b/lib/dune
deleted file mode 100644
index 134a0fc..0000000
--- a/lib/dune
+++ /dev/null
@@ -1,2 +0,0 @@
-(library
- (name agate))