# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 975590584 0
# Node ID 24d09129cd5c1cf2cbbebe011fd6eabb391e00ad
# Parent  546a32ec354014ed4faff9e911105266451f7ae8
Eliminated the line number font predefinition.

diff -r 546a32ec3540 -r 24d09129cd5c etc/ps-prin1.ps
--- 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