From c9e8dff919c49a13bff601e78cc1e78a7cc8f506 Mon Sep 17 00:00:00 2001
From: Akshay <nerdy@peppe.rs>
Date: Sun, 8 Aug 2021 17:38:33 +0530
Subject: dump

---
 src/grump.ml | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/grump.ml

(limited to 'src/grump.ml')

diff --git a/src/grump.ml b/src/grump.ml
deleted file mode 100644
index b4b1288..0000000
--- a/src/grump.ml
+++ /dev/null
@@ -1 +0,0 @@
-print_endline "hello world!"
-- 
cgit v1.2.3