diff options
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index b5e29b9e61..66f4f37d6d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -118,6 +118,7 @@ path = utils/haddock url = ../haddock.git ignore = none + branch = ghc-head [submodule "nofib"] path = nofib url = ../nofib.git |