From: Ian Jackson Date: Sat, 5 Dec 2020 21:37:20 +0000 (+0000) Subject: delete junk X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=cd2085408d793ae868d7e5825f171ae32f262d76;p=quacks.git delete junk --- diff --git a/pumpkin-books.ps.pl b/pumpkin-books.ps.pl index 5b53c24..8b2de07 100755 --- a/pumpkin-books.ps.pl +++ b/pumpkin-books.ps.pl @@ -357,24 +357,6 @@ gsave gsave 0 20 translate ${\ chip($purple, 1) } grestore 27 0 translate grestore - -gsave -/Times-Roman findfont - 32 scalefont setfont - 0.48 0.14 dc moveto (}) show -grestore - -gsave - 0.83 0.25 dc translate - 0.85 dup scale - ${\ chip($anychip, 0) } -grestore - -gsave - 0.72 0.22 dc translate - 0.50 dup scale - $black 0 0 moveto (?+?) show -grestore END