From e10a75279987aa31492f5ead289a6646d69b3a23 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 12 Mar 2011 05:46:49 -0800 Subject: [PATCH] second attempt at updating submodules; I seem to have trouble with this... --- .gitmodules | 2 +- compiler/hetmet | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 160000 compiler/hetmet diff --git a/.gitmodules b/.gitmodules index ee9771b..0ac474d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "compiler/hetmet"] path = compiler/hetmet - url = http://git.megacz.com/coq-hetmet.git + url = http://git.megacz.com/ghc-hetmet.git diff --git a/compiler/hetmet b/compiler/hetmet new file mode 160000 index 0000000..8c26722 --- /dev/null +++ b/compiler/hetmet @@ -0,0 +1 @@ +Subproject commit 8c26722a1ee110077968a8a166eb7130266b2035 -- 1.7.10.4