Skip to content
Snippets Groups Projects
Commit 4c49f08c authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel :man_dancing:
Browse files

Update submodule git branch for haddock

This is meta-information is used by commands such as e.g.

  git submodule update --remote util/haddock

[skip ci]
parent dde5561b
No related merge requests found
......@@ -103,7 +103,7 @@
path = utils/haddock
url = ../haddock.git
ignore = none
branch = ghc-head
branch = master
[submodule "nofib"]
path = nofib
url = ../nofib.git
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment