third attempt at getting submodules to work properly

[ghc-hetmet.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 0ac474d..ee9771b 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "compiler/hetmet"]
        path = compiler/hetmet
-       url = http://git.megacz.com/ghc-hetmet.git
+       url = http://git.megacz.com/coq-hetmet.git