HoTT/HoTT — pull request #289 by JasonGross (2013-12-17 17:51:31+00:00)
Title: fix typo in HoTTBook.v: config -> contrib

If my emacs removing trailing spaces in this file is a problem, I can go update the patch.