gitmodules: Delete entry for dead hoopl submodule
authorBen Gamari <ben@smart-cactus.org>
Fri, 28 Jul 2017 17:32:19 +0000 (13:32 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 28 Jul 2017 17:32:19 +0000 (13:32 -0400)
.gitmodules

index 55d360a..07ed3b7 100644 (file)
        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