From ede8966c44cca6854012078329482a70235a19ce Mon Sep 17 00:00:00 2001
From: Scott Lawrence <scott+git@ineffectivetheory.com>
Date: Wed, 26 Jun 2024 21:16:48 -0700
Subject: Deleted everything but the one script

---
 lib/dune | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 lib/dune

(limited to 'lib/dune')

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))
-- 
cgit v1.2.3-54-g00ecf