From 08fbe569b0c0551a0602927a0f5b742ff8e02e02 Mon Sep 17 00:00:00 2001 From: Luke Lau Date: Sat, 21 Dec 2019 22:37:54 +0000 Subject: [PATCH] Switch back to @DanielG cabal-helper Now that https://github.com/DanielG/cabal-helper/commit/5b6cefdbe03ebc4ec6451751fbaba72cab663766 is merged, thanks @DanielG! --- .gitmodules | 6 ++---- submodules/cabal-helper | 2 +- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/.gitmodules b/.gitmodules index edbeb396..2f69f372 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,10 +12,8 @@ [submodule "submodules/cabal-helper"] path = submodules/cabal-helper - # url = https://github.com/DanielG/cabal-helper.git - # Change this back once https://github.com/DanielG/cabal-helper/pull/85/ merged - url = https://github.com/bubba/cabal-helper.git + url = https://github.com/DanielG/cabal-helper.git [submodule "submodules/ghc-mod"] path = submodules/ghc-mod - url = https://github.com/fendor/ghc-mod.git \ No newline at end of file + url = https://github.com/fendor/ghc-mod.git diff --git a/submodules/cabal-helper b/submodules/cabal-helper index a41af441..5b6cefdb 160000 --- a/submodules/cabal-helper +++ b/submodules/cabal-helper @@ -1 +1 @@ -Subproject commit a41af44159ac525a913be8ece11da8583706ec1a +Subproject commit 5b6cefdbe03ebc4ec6451751fbaba72cab663766