From: Camil Staps Date: Sat, 20 Oct 2018 17:40:53 +0000 (+0200) Subject: Update references to github X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=commitdiff_plain;h=1c65613d8732d28f6c6c11864ccbc761918ac594 Update references to github --- diff --git a/.gitmodules b/.gitmodules index d9caef9..03f11b7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "libcloogle"] path = libcloogle - url = https://github.com/clean-cloogle/libcloogle.git + url = https://gitlab.science.ru.nl/cloogle/libcloogle.git [submodule "clean-selectloop"] path = clean-selectloop url = https://github.com/dopefishh/clean-selectloop.git diff --git a/cloogleirc.icl b/cloogleirc.icl index a8b9494..9edcb80 100644 --- a/cloogleirc.icl +++ b/cloogleirc.icl @@ -83,7 +83,7 @@ cloogle data w = "ABC instruction: " +++ re.abc_instruction processResult (ProblemResult pr) = "Common problem: " +++ pr.problem_title - +++ "; see https://github.com/clean-cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md" + +++ "; see https://gitlab.science.ru.nl/cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md" limitResults :: String -> String limitResults s diff --git a/libcloogle b/libcloogle index 60c8eb3..665acb6 160000 --- a/libcloogle +++ b/libcloogle @@ -1 +1 @@ -Subproject commit 60c8eb36203bfbac0db3bcb4d0c4d2dbdfa771e9 +Subproject commit 665acb6181353b484790c5e5b1e6edd3026090ed