From 067ddd4aa04dbb628463666a90b7dcf3cd6963c9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrien=20Gallou=C3=ABt?= Date: Wed, 5 Dec 2018 09:11:59 +0000 Subject: [PATCH] Ignore dirty MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Adrien Gallouët --- .gitmodules | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitmodules b/.gitmodules index 9879380..c9814e3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,8 @@ [submodule "mud"] path = mud url = https://github.com/angt/mud.git + ignore = dirty [submodule "argz"] path = argz url = https://github.com/angt/argz.git + ignore = dirty