diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000000000000000000000000000000000000..c49ae2256b89a0ddcea03ccee5d5d7814cf00e2e --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "libraries/parser"] + path = libraries/parser + url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser/tree/mc-sog-parser diff --git a/libraries/parser b/libraries/parser new file mode 160000 index 0000000000000000000000000000000000000000..2952aa661fa7245f90f6e152c5bac76b0234e502 --- /dev/null +++ b/libraries/parser @@ -0,0 +1 @@ +Subproject commit 2952aa661fa7245f90f6e152c5bac76b0234e502