1 files changed, 0 insertions, 3 deletions
diff --git a/show1 b/show1
deleted file mode 100755
index e0d3d83..0000000
--- a/show1
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-runoff1 "$@" | pr.pl -h "xv6/$@" | mpage -m50t50b -o -bLetter -T -t -2 -FLucidaSans-Typewriter83 -L60 >x.ps; gv --swap x.ps