diff options
Diffstat (limited to 'doc/history.html')
| -rw-r--r-- | doc/history.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/history.html b/doc/history.html index 28b5fd0..16c8dba 100644 --- a/doc/history.html +++ b/doc/history.html @@ -4,7 +4,7 @@ <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <!-- This document describes the GNU History library -(version 8.2, 11 March 2022), +(version 8.2, 12 August 2022), a programming tool that provides a consistent user interface for recalling lines of previously typed input. |