diff --git a/.gitmodules b/.gitmodules index dbf0c71ede8b92d396dfb78c39fc821c349d239d..9de7df7b58a53267c21ddbd6600af6e4bc6e710e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "isl"] path = isl - url = http://repo.or.cz/isl.git + url = https://github.com/inducer/isl.git