summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
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