diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-07-28 13:32:19 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-28 13:32:19 -0400 |
commit | f134bfb84d2e6ddb99f3ba008d8b156d3f454a46 (patch) | |
tree | 36720a63920ab9d1feca8e1335516cbb88708b51 /.gitmodules | |
parent | 2974f81f8c3529657a0b808b8415a4d2ad9ed6d1 (diff) | |
download | haskell-f134bfb84d2e6ddb99f3ba008d8b156d3f454a46.tar.gz |
gitmodules: Delete entry for dead hoopl submodule
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
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 |