From 7ed77ab1fd7387c3f5a02dd97808d515bd08796c Mon Sep 17 00:00:00 2001 From: "David E. O'Brien" Date: Mon, 29 Mar 1999 11:42:32 +0000 Subject: Delete the bash 1.17 port. It served us well as we transitioned to bash version 2. --- shells/bash1/files/patch-ae | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 shells/bash1/files/patch-ae (limited to 'shells/bash1/files/patch-ae') diff --git a/shells/bash1/files/patch-ae b/shells/bash1/files/patch-ae deleted file mode 100644 index ec58ff4ae41a..000000000000 --- a/shells/bash1/files/patch-ae +++ /dev/null @@ -1,17 +0,0 @@ -*** documentation/builtins.1.bak Sat Sep 18 00:06:53 1993 ---- documentation/builtins.1 Wed Oct 4 23:29:49 1995 -*************** -*** 10,15 **** - unset, until, wait, while \- bash built-in commands, see \fBbash\fR(1) - .SH BASH BUILTIN COMMANDS - .nr zZ 1 -! .so bash.1 - .SH SEE ALSO - bash(1), sh(1) ---- 10,15 ---- - unset, until, wait, while \- bash built-in commands, see \fBbash\fR(1) - .SH BASH BUILTIN COMMANDS - .nr zZ 1 -! .so man1/bash.1 - .SH SEE ALSO - bash(1), sh(1) -- cgit v1.2.3