Skip to content

GitLab

Switch branch/tag
Find file Normal viewHistoryPermalink
.gitmodules 86 Bytes
Newer Older
Zhen Zhang's avatar
Add Iris submodule  
Zhen Zhang committed
1
2
3 
[submodule "iris-coq"]
	path = iris-coq
	url = https://gitlab.mpi-sws.org/FP/iris-coq