Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
7 lines (6 sloc) 202 Bytes
[submodule "Vladimir"]
path = Vladimir
url = git://github.com/vladimirias/Foundations.git
[submodule "Peter"]
path = Peter
url = https://github.com/peterlefanulumsdaine/Oberwolfach-explorations.git