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

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: 603c82f5b0d6717f0a8f5462fdaeeca42c6bf6e5 (plain)

1
2
3

[submodule "lib/smtcoq"]
	path = lib/smtcoq
	url = https://git.sr.ht/~ymherklotz/smtcoq