diff --git a/.gitmodules b/.gitmodules index 3749003..fd34680 100644 --- a/.gitmodules +++ b/.gitmodules @@ -28,3 +28,6 @@ [submodule "mpiergal"] path = mpiergal url = https://github.com/MarioPiergallini/sp2014.11-731.git +[submodule "jdoornbos"] + path = jdoornbos + url = https://github.com/jdoornbos/sp2014.11-731.git diff --git a/jdoornbos b/jdoornbos new file mode 160000 index 0000000..4fdd035 --- /dev/null +++ b/jdoornbos @@ -0,0 +1 @@ +Subproject commit 4fdd035f2c4f358674d399932791178fff976b93