.gitmodules - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/.gitmodules

blob: eb73fc298d405abc1f26a83d598e487feb0314e8 (plain)

1
2
3

[submodule "etc/coq-scripts"]
	path = etc/coq-scripts
	url = https://github.com/JasonGross/coq-scripts.git