.gitmodules - cohpred - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: b37459b5e2232171694615cf4535755b8ae6b1ea (plain)

1
2
3

[submodule "lib/smtcoq"]
	path = lib/smtcoq
	url = git@gitlab.inria.fr:compcertgssa/smtcoq