HoTT/HoTT — pull request #462 by JasonGross (2014-09-06 03:09:29+00:00)
Title: -emacs-U is deprecated

Use -emacs instead in .dir-locals.el

I'm going to merge this directly, because it doesn't touch anything of real significance.