From 8c0c2b8f40e55cc8ac7aee525a1f00603cac38f1 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Fri, 19 Jun 2015 11:56:36 -0500 Subject: [PATCH] Update to isl 0.15 --- .gitmodules | 2 +- isl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index cf8c41b..670e245 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "isl"] path = isl - url = git://github.com/inducer/isl-mirror + url = http://repo.or.cz/isl.git [submodule "bpl-subset"] path = bpl-subset url = git://github.com/inducer/bpl-subset diff --git a/isl b/isl index 3916fbc..2c1b685 160000 --- a/isl +++ b/isl @@ -1 +1 @@ -Subproject commit 3916fbc5f0bab03d03ab886dde3fa4328a113af6 +Subproject commit 2c1b68581916666fb2bcc94c7bf8779807ed42d9 -- GitLab