* doc/dejagnu.texi (Global config file): Put before node 'Local
authorBen Elliston <bje@gnu.org>
Wed, 6 Apr 2016 09:39:09 +0000 (19:39 +1000)
committerBen Elliston <bje@gnu.org>
Wed, 6 Apr 2016 09:39:09 +0000 (19:39 +1000)
commit8350550d0f8bed678e55d273649dd846619b91c4
tree3d5928f0e18125442063e383da60466f54eeb667
parentaa3debbed09828872ec81c5ce819c4791e5b4fa3
* doc/dejagnu.texi (Global config file): Put before node 'Local
config file'.
ChangeLog
doc/dejagnu.texi