From fde494c5d785366114ef6df5f95c7916087745f8 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Sun, 22 Dec 2019 00:19:47 +0000 Subject: [PATCH] Update .gitmodules for changes in master --- .gitmodules | 4 +--- submodules/cabal-helper | 2 +- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/.gitmodules b/.gitmodules index bfbfd7b00..ca9fce700 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,6 +12,4 @@ [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 \ No newline at end of file + url = https://github.com/DanielG/cabal-helper.git diff --git a/submodules/cabal-helper b/submodules/cabal-helper index a41af4415..5b6cefdbe 160000 --- a/submodules/cabal-helper +++ b/submodules/cabal-helper @@ -1 +1 @@ -Subproject commit a41af44159ac525a913be8ece11da8583706ec1a +Subproject commit 5b6cefdbe03ebc4ec6451751fbaba72cab663766