Ignore dirty for proper

nmtitov · nmtitov · commit b2f98d336aca · 2018-01-30T12:23:02.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -29,3 +29,4 @@
 [submodule "lib/proper"]
 	path = lib/proper
 	url = https://github.com/manopapad/proper.git
+	ignore = dirty
