[submodule "gondolin"]
path = repos/gondolin
url = git@github.com:madhavajay/gondolin.git
[submodule "pi"]
path = repos/pi
url = git@github.com:madhavajay/pi.git
[submodule "vouch"]
path = repos/vouch
url = git@github.com:madhavajay/vouch.git
[submodule "pi-mono"]
path = repos/pi-mono
url = git@github.com:badlogic/pi-mono.git