diff options
Diffstat (limited to 'shells/bash/files/patch-doc_bashref.texi')
-rw-r--r-- | shells/bash/files/patch-doc_bashref.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shells/bash/files/patch-doc_bashref.texi b/shells/bash/files/patch-doc_bashref.texi index 08d80e40a8c9..8be950faba99 100644 --- a/shells/bash/files/patch-doc_bashref.texi +++ b/shells/bash/files/patch-doc_bashref.texi @@ -1,4 +1,4 @@ ---- doc/bashref.texi.orig 2016-09-29 22:30:30 UTC +--- doc/bashref.texi.orig 2022-09-19 15:41:39 UTC +++ doc/bashref.texi @@ -1,6 +1,6 @@ \input texinfo.tex @c -*- texinfo -*- @@ -17,7 +17,7 @@ This is Edition @value{EDITION}, last updated @value{UPDATED}, of @cite{The GNU Bash Reference Manual}, -@@ -5443,7 +5443,7 @@ A null directory name may appear as two +@@ -6004,7 +6004,7 @@ A null directory name may appear as two adjacent colon or trailing colon. @item PS1 |