Commit Briefs

590cdfcf65 Russ Cox

troff: rename Hr etc to longer names (OS X)