ignore dirty

diff --git a/.gitmodules b/.gitmodules
index 79d0b4db73ac1d86530820af81554db52d4fad02..1634fe9102f1a4581b944bd4d413cedf3d7dbd69 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -18,7 +18,8 @@
     path = bin
     url = git@github.com:Ircam-Web/mezzo-bin.git
     branch-master = master
-    branch-dev = master
+    branch-dev = dev
+    ignore = dirty
 [submodule "lib/grappelli-safe"]
     path = lib/grappelli-safe
     url = git@github.com:yomguy/grappelli-safe.git