diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..58a6034c --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "lib/gears"] + path = lib/gears + url = https://github.com/lampepfl/gears.git diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml index fdc392fe..d20b5975 100644 --- a/.idea/jarRepositories.xml +++ b/.idea/jarRepositories.xml @@ -16,5 +16,10 @@