From 2da58747e5ae4d914beb4520a9941cc1c8af401d Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 12 Mar 2011 16:00:21 -0800 Subject: [PATCH] third attempt at getting submodules to work properly --- .gitmodules | 2 +- compiler/hetmet | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 0ac474d..ee9771b 100644 --- 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 diff --git a/compiler/hetmet b/compiler/hetmet index e10a752..6232ffa 160000 --- a/compiler/hetmet +++ b/compiler/hetmet @@ -1 +1 @@ -Subproject commit e10a75279987aa31492f5ead289a6646d69b3a23 +Subproject commit 6232ffa2805211654c6ff40a9852d7fc312382d2 -- 1.7.10.4