aboutsummaryrefslogtreecommitdiffstats
path: root/.gitmodules
blob: 24fbc616bc60953cbb3af5f225dbb7a566a50ab1 (plain)
1
2
3
[submodule "opt_utilities"]
	path = opt_utilities
	url = ./opt_utilities