Merge branch 'master' of github.com:andrejbauer/Homotopy

mikeshulman · Mar 6, 2011 · af6ec89 · af6ec89
2 parents cb1dd1a + cad6beb
commit af6ec89
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README b/README
@@ -1,3 +1,4 @@
 This repository contains various files related to "homotopy type
 theory". Each subdirectory contains a README file which you can
-inspect to get a description of what is in there.
+inspect to get a description of what is in there.
+