Revision 5f94d69e93a78b6c5be8292612e05eaf5d980e7f authored by Anish Tondwalkar on 21 October 2019, 18:07:18 UTC, committed by Anish Tondwalkar on 21 October 2019, 18:07:18 UTC
1 parent f9d43a2
Raw File
.gitmodules
[submodule "liquid-fixpoint"]
	path = liquid-fixpoint
	url = git@github.com:ucsd-progsys/liquid-fixpoint
back to top