diff --git a/.gitmodules b/.gitmodules index b10df74..ec1ae71 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7453,3 +7453,6 @@ [submodule "wtmpdb"] path = wtmpdb url = ../../pool/wtmpdb +[submodule "ghc"] + path = ghc + url = ../../pool/ghc diff --git a/ghc b/ghc new file mode 160000 index 0000000..670fdc6 --- /dev/null +++ b/ghc @@ -0,0 +1 @@ +Subproject commit 670fdc6dc5f31d63bc840be9b4f6a117c5124f87