Added Peter Lumsdaine git repository of his Oberwolfach files

mikeshulman · Mar 4, 2011 · 68f4ee8 · 68f4ee8
1 parent e376e3a
commit 68f4ee8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "Vladimir"]
 	path = Vladimir
 	url = git://github.com/vladimirias/Foundations.git
+[submodule "Peter"]
+	path = Peter
+	url = https://github.com/peterlefanulumsdaine/Oberwolfach-explorations.git
diff --git a/Peter b/Peter