From 167e756e4f38c6ae0d4225ce143d39118938570b Mon Sep 17 00:00:00 2001 From: Chiheb Ameur Abid <chiheb.abid@gmail.com> Date: Tue, 23 Apr 2019 14:55:35 +0200 Subject: [PATCH] Update .gitmodules --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 78d1470..c53d265 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "libraries/parser"] path = libraries/parser - url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser/tree/mc-sog-parser + url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser.git [submodule "third-party/sylvan"] path = third-party/sylvan url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git -- GitLab