diff options
| -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 |