diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-06 19:39:09 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-06 19:39:09 +1000 |
commit | 8350550d0f8bed678e55d273649dd846619b91c4 (patch) | |
tree | 3d5928f0e18125442063e383da60466f54eeb667 /ChangeLog | |
parent | aa3debbed09828872ec81c5ce819c4791e5b4fa3 (diff) | |
download | dejagnu-8350550d0f8bed678e55d273649dd846619b91c4.zip dejagnu-8350550d0f8bed678e55d273649dd846619b91c4.tar.gz dejagnu-8350550d0f8bed678e55d273649dd846619b91c4.tar.bz2 |
* doc/dejagnu.texi (Global config file): Put before node 'Local
config file'.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2016-04-06 Ben Elliston <bje@gnu.org> + + * doc/dejagnu.texi (Global config file): Put before node 'Local + config file'. + 2016-04-05 Ben Elliston <bje@gnu.org> * runtest.exp: Remove defunct and undocumented --tool_root option. |