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 /config | |
| parent | aa3debbed09828872ec81c5ce819c4791e5b4fa3 (diff) | |
* doc/dejagnu.texi (Global config file): Put before node 'Local
config file'.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions