From a3c1a45edbc05d7313299013cca96d46bdcb3b09 Mon Sep 17 00:00:00 2001 From: Chiheb Ameur Abid <chiheb.abid@gmail.com> Date: Wed, 24 Apr 2019 23:25:22 +0200 Subject: [PATCH] Update .gitmodules --- .gitmodules | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitmodules b/.gitmodules index c53d265..c6ea1d0 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,7 @@ [submodule "libraries/parser"] path = libraries/parser url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser.git + branch=master [submodule "third-party/sylvan"] path = third-party/sylvan url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git -- GitLab