diff options
author | Ben Elliston <bje@gnu.org> | 2019-01-23 17:58:57 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2019-01-23 17:58:57 +1100 |
commit | f3d2736755c919d57cd7122b251122351107141a (patch) | |
tree | 0a4883790d8eab5d3c197ce6ec39a39b19fbfef4 /ChangeLog | |
parent | 73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150 (diff) | |
download | dejagnu-f3d2736755c919d57cd7122b251122351107141a.zip dejagnu-f3d2736755c919d57cd7122b251122351107141a.tar.gz dejagnu-f3d2736755c919d57cd7122b251122351107141a.tar.bz2 |
* doc/dejagnu.texi: Replace "config file" with "configuration
file" throughout.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2019-01-23 Ben Elliston <bje@gnu.org> + + * doc/dejagnu.texi: Replace "config file" with "configuration + file" throughout. + 2019-01-23 Jacob Bachmeyer <jcb62281@gmail.com> * doc/dejagnu.texi (Command line option variables): Improve table |