Comment out the times package in the distributed version.

This commit is contained in:
Fred Drake 1998-02-12 03:48:50 +00:00
parent dd1f6cc402
commit 63221124c0

View file

@ -421,4 +421,4 @@
}
% Uncomment the following line to use a PostScript font instead of bitmaps:
\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}
%\RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.}