From fcd864767a56f606bc16d614a0a43963ebf49c34 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Wed, 2 Nov 2011 17:33:44 -0400 Subject: [PATCH] Update git submodule to my isl mirror. --- .gitmodules | 2 +- isl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index ead9d3d..a37bf2a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "isl"] path = isl - url = http://repo.or.cz/r/isl.git + url = git://github.com/inducer/isl-mirror.git [submodule "bpl-subset"] path = bpl-subset url = git://github.com/inducer/bpl-subset diff --git a/isl b/isl index addd687..52f2678 160000 --- a/isl +++ b/isl @@ -1 +1 @@ -Subproject commit addd6871b4f5049cc0cd8654d921717d1949633c +Subproject commit 52f26788cff609c4f142bec0e7d29332b4a79c3c -- GitLab