From f42f4847bd6baebb3223d0db5f0b622035ea15c5 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 20:37:56 +0200
Subject: Bomen

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index 5ebd18b..4f73579 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "CleanSmurf"]
 	path = CleanSmurf
 	url = https://github.com/camilstaps/CleanSmurf
+[submodule "CleanSmurfProver"]
+	path = CleanSmurfProver
+	url = https://github.com/camilstaps/CleanSmurf
-- 
cgit v1.2.3