HoTT/HoTT — pull request #280 by JasonGross (2013-12-09 07:43:50+00:00)
Title: Fix timing script to work with contrib/ prefixes

I'm going to merge this one immediately, because it's a small change that doesn't touch the library proper.