diff options
| -rw-r--r-- | gdb/doc/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index bcf5ab7..7ba0d21 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -4,7 +4,7 @@ 2014-02-26 Ludovic Courtès <ludo@gnu.org> - * gdb/doc/guile.texi (Basic Guile): Document 'history-append!'. + * guile.texi (Basic Guile): Document 'history-append!'. 2014-02-20 Joel Brobecker <brobecker@adacore.com> |