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

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

(limited to 'test/dune')

diff --git a/test/dune b/test/dune
deleted file mode 100644
index 09c38e3..0000000
--- a/test/dune
+++ /dev/null
@@ -1,2 +0,0 @@
-(test
- (name test_agate))
-- 
cgit v1.2.3-54-g00ecf