git: ignore untracked files in isabelle submodule

[skip lemma][skip ci]
au-ts · Nov 12, 2019 · f09740c · f09740c
1 parent b35edab
commit f09740c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,7 @@
 [submodule "isabelle"]
 	path = isabelle
 	url = https://github.com/seL4/isabelle.git
+  ignore = untracked
 [submodule "z3"]
 	path = z3
 	url = https://github.com/Z3Prover/z3.git