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

---
 bin/dune | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 bin/dune

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
deleted file mode 100644
index 3891864..0000000
--- a/bin/dune
+++ /dev/null
@@ -1,4 +0,0 @@
-(executable
- (public_name agate)
- (name main)
- (libraries agate angstrom))
-- 
cgit v1.2.3-54-g00ecf