[submodule "include/json"] path = include/json url = https://github.com/nlohmann/json.git [submodule "include/args"] path = include/args url = https://github.com/Taywee/args.git [submodule "include/dpx"] path = include/dpx url = https://github.com/malcolmhumphreys/dpx.git