Commit f379174b authored by Mart Lubbers's avatar Mart Lubbers Committed by GitHub

Merge pull request #20 from clean-cloogle/gitlab-move

Update references to github
parents e831e0ee 1c65613d
[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
......@@ -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
......
Subproject commit 60c8eb36203bfbac0db3bcb4d0c4d2dbdfa771e9
Subproject commit 665acb6181353b484790c5e5b1e6edd3026090ed
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment