Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
144 B · 3 lines
at develop
1234[submodule "cp-profiler-integration"] path = submodules/cp-profiler-integration url = https://gitlab.com/minizinc/cp-profiler-integration.git