This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/.gitmodules

13 lines
389 B
Plaintext
Raw Permalink Normal View History

2016-11-12 18:14:30 +01:00
[submodule "lib/catch"]
path = lib/catch
2017-11-04 20:54:39 +01:00
url = https://github.com/catchorg/Catch2
2017-06-13 19:52:15 +02:00
[submodule "lib/variant"]
path = lib/variant
url = https://github.com/mapbox/variant
[submodule "tests/data/pddl-instances"]
path = tests/data/pddl-instances
url = https://github.com/potassco/pddl-instances.git
2017-10-12 19:05:27 +02:00
[submodule "lib/cxxopts"]
path = lib/cxxopts
url = https://github.com/jarro2783/cxxopts