Main Lemma Repository
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

.gitmodules 315B

123456789
  1. [submodule "external/eigen"]
  2. path = external/eigen
  3. url = https://github.com/eigenteam/eigen-git-mirror.git
  4. [submodule "external/yaml-cpp"]
  5. path = external/yaml-cpp
  6. url = https://github.com/jbeder/yaml-cpp.git
  7. [submodule "external/CxxTest"]
  8. path = external/CxxTest
  9. url = https://github.com/CxxTest/cxxtest.git