diff --git a/.gitmodules b/.gitmodules index da02ec9..3749003 100644 --- a/.gitmodules +++ b/.gitmodules @@ -25,3 +25,6 @@ [submodule "hanz"] path = hanz url = https://github.com/michaelzhhan1990/sp2014.11-731.git +[submodule "mpiergal"] + path = mpiergal + url = https://github.com/MarioPiergallini/sp2014.11-731.git diff --git a/mpiergal b/mpiergal new file mode 160000 index 0000000..eda836f --- /dev/null +++ b/mpiergal @@ -0,0 +1 @@ +Subproject commit eda836f0895a44c4b6f9637a5aa09f32463d34d0