diff options
Diffstat (limited to 'editors/wily/files/patch-win::Man.rc')
| -rw-r--r-- | editors/wily/files/patch-win::Man.rc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/editors/wily/files/patch-win::Man.rc b/editors/wily/files/patch-win::Man.rc deleted file mode 100644 index 7465d9bb7fa0..000000000000 --- a/editors/wily/files/patch-win::Man.rc +++ /dev/null @@ -1,10 +0,0 @@ ---- tools/win/Man.rc.orig Sun Jan 19 08:59:21 2003 -+++ tools/win/Man.rc Sun Jan 19 08:59:41 2003 -@@ -10,6 +10,6 @@ - } - - name = `{ echo $*($#*) } --man $* >[2=1] | col -bx | wreplace -c '+Man '^$name^':,' -+man $* >[2=1] | col -bx | wreplace -c '~Man '^$name^':,' - - exit |