diff options
author | Frans Kaashoek <[email protected]> | 2019-07-24 09:05:05 -0400 |
---|---|---|
committer | Frans Kaashoek <[email protected]> | 2019-07-24 09:05:05 -0400 |
commit | e6276088107e814bea95aee42868065dc41c1e8b (patch) | |
tree | 6204c027e2fe5c80df8629ba0048c7b6ba0e86fe /show1 | |
parent | 6f3a441c10ca714041c0ace01b0e7d92d5846768 (diff) | |
download | xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.tar.gz xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.tar.bz2 xv6-labs-e6276088107e814bea95aee42868065dc41c1e8b.zip |
Delete a few other no-longer relevant files
Diffstat (limited to 'show1')
-rwxr-xr-x | show1 | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -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 |