1 files changed, 3 insertions, 0 deletions
diff --git a/src/dune b/src/dune
new file mode 100644
index 0000000..6b1e6d9
--- /dev/null
+++ b/src/dune
@@ -0,0 +1,3 @@
+(library
+ (name        grump)
+ (public_name grump))

diff --git a/src/dune b/src/dune new file mode 100644 index 0000000..6b1e6d9 --- /dev/null +++ b/src/dune
@@ -0,0 +1,3 @@
	1	(library
	2	(name grump)
	3	(public_name grump))