From e6276088107e814bea95aee42868065dc41c1e8b Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Wed, 24 Jul 2019 09:05:05 -0400
Subject: Delete a few other no-longer relevant files

---
 show1 | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 show1

(limited to 'show1')

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
-- 
cgit v1.2.3