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/dune | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/dune')

diff --git a/src/dune b/src/dune
index 6b1e6d9..328399e 100644
--- a/src/dune
+++ b/src/dune
@@ -1,3 +1,4 @@
 (library
  (name        grump)
- (public_name grump))
+ (public_name grump)
+ (wrapped false))
-- 
cgit v1.2.3