1 files changed, 0 insertions, 5 deletions
diff --git a/bin/dune b/bin/dune
deleted file mode 100644
index 2e2f594..0000000
--- a/bin/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-(executable
- (public_name toytt)
- (name main)
- (libraries toytt)
- (modes byte exe))