changeset 34046:24d09129cd5c

Eliminated the line number font predefinition.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 30 Nov 2000 13:23:04 +0000
parents 546a32ec3540
children 4781ed3dc312
files etc/ps-prin1.ps
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/etc/ps-prin1.ps	Thu Nov 30 13:20:49 2000 +0000
+++ b/etc/ps-prin1.ps	Thu Nov 30 13:23:04 2000 +0000
@@ -290,8 +290,6 @@
 % stack:  --
 /FillBgColor{bgcolor aload pop setrgbcolor fill}bind def
 
-/L0 6/Times-Italic DefFont
-
 % stack:  -- |- boolean
 /isLineStep{
   SyncLineZebra