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-ag | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 shells/bash1/files/patch-ag (limited to 'shells/bash1/files/patch-ag') diff --git a/shells/bash1/files/patch-ag b/shells/bash1/files/patch-ag deleted file mode 100644 index 56b74093c828..000000000000 --- a/shells/bash1/files/patch-ag +++ /dev/null @@ -1,13 +0,0 @@ ---- documentation/features.texi.orig Fri Aug 5 04:26:21 1994 -+++ documentation/features.texi Mon Jun 16 19:16:56 1997 -@@ -2,6 +2,10 @@ - @c %**start of header - @setfilename features.info - @settitle Bash Features -+@dircategory Shells -+@direntry -+* Bash: (bash). GNU Bourne-Again SHell. -+@end direntry - @c %**end of header - - @ignore -- cgit v1.2.3