From 0fc77cb8ae1d0c85ac6d5ed59aaca85472735c4a Mon Sep 17 00:00:00 2001
From: Jade Philipoom <jadep@google.com>
Date: Mon, 9 Apr 2018 10:32:25 +0200
Subject: relocate and prove an admit

---
 .gitmodules | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index d4861dd59..0a919ab11 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7,3 +7,4 @@
 [submodule "coqprime"]
 	path = coqprime
 	url = https://github.com/thery/coqprime
+	ignore = dirty
-- 
cgit v1.2.3