cut out the html - they're going to cause diffing problems.

This commit is contained in:
rsc 2005-01-14 17:37:50 +00:00
parent 1ac1981659
commit adc93f6097
262 changed files with 82 additions and 44564 deletions

View file

@ -71,7 +71,7 @@ The
.RB ( -F )
option sets the main font, usually variable-pitch (alternate, usually fixed-pitch);
the default is
.B /usr/local/plan9/font/lucidasans/euro.8.font
.B \*9/font/lucidasans/euro.8.font
.RB ( \&.../lucm/unicode.9.font ).
Tab intervals are set to the width of 4 (or the value of
.BR $tabstop )