chiark / gitweb /
delete junk
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 5 Dec 2020 21:37:20 +0000 (21:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 5 Dec 2020 21:37:20 +0000 (21:37 +0000)
pumpkin-books.ps.pl

index 5b53c24f28ca097567ba85e1f9b2efacca0b5003..8b2de075d51919be9911ff538ef110f642bd549f 100755 (executable)
@@ -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