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

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: 87bab2d1c38c6f57cfaf3cd51f443a34571440c6 (plain)

[submodule "lib/CompCert"]
	path = lib/CompCert
	url = https://github.com/ymherklotz/CompCert.git
[submodule "docs"]
	path = docs
	url = https://github.com/ymherklotz/vericert-docs