gitmodules: Delete entry for dead hoopl submodule

f134bfb8 · Ben Gamari · 2974f81f · f134bfb8
Commit f134bfb8 authored 7 years ago by Ben Gamari
--- 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