From 957c8d3d15ac5c0ae84e2e4a2945f182d88379c2 Mon Sep 17 00:00:00 2001 From: jak1 Date: Fri, 23 Dec 2022 13:42:01 +0100 Subject: updated mplint repository --- tools/ci/jobs/mplint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh index 66a056dba..d3508759f 100755 --- a/tools/ci/jobs/mplint.sh +++ b/tools/ci/jobs/mplint.sh @@ -19,7 +19,7 @@ export CXXFLAGS="-std=gnu++11" do_init rm -rf mplint || true -gitclone https://gitlab.com/manaplus mplint.git +gitclone https://git.themanaworld.org/mana mplint.git cd mplint run_configure_simple run_make -- cgit v1.2.3-70-g09d2