summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2017-07-28 13:32:19 -0400
committerBen Gamari <ben@smart-cactus.org>2017-07-28 13:32:19 -0400
commitf134bfb84d2e6ddb99f3ba008d8b156d3f454a46 (patch)
tree36720a63920ab9d1feca8e1335516cbb88708b51 /.gitmodules
parent2974f81f8c3529657a0b808b8415a4d2ad9ed6d1 (diff)
downloadhaskell-f134bfb84d2e6ddb99f3ba008d8b156d3f454a46.tar.gz
gitmodules: Delete entry for dead hoopl submodule
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules
index 55d360ae10..07ed3b7e5b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -70,10 +70,6 @@
path = libraries/filepath
url = ../packages/filepath.git
ignore = none
-[submodule "libraries/hoopl"]
- path = libraries/hoopl
- url = ../packages/hoopl.git
- ignore = none
[submodule "libraries/hpc"]
path = libraries/hpc
url = ../packages/hpc.git