diff options
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 73ce0d1b5f..783c568b61 100644 --- a/.gitmodules +++ b/.gitmodules @@ -106,7 +106,7 @@ [submodule "nofib"] path = nofib url = ../nofib.git - ignore = none + ignore = untracked [submodule "utils/hsc2hs"] path = utils/hsc2hs url = ../hsc2hs.git |