diff options
| author | Tim Graham <timograham@gmail.com> | 2013-12-31 06:24:11 -0500 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2013-12-31 08:32:58 -0500 |
| commit | f82eb493015f4fbf0b8fc063f561b5135fc815de (patch) | |
| tree | bfa516eb4dfb4912bb98de730b4af42087076b69 /docs/make.bat | |
| parent | e99eeefe4403668561048753dd8def5cfee3b5aa (diff) | |
[1.6.x] Fixed #21701 -- Improved testing doc titles and added testing/tools.txt.
Thanks cjerdonek for the suggestion.
Backport of 9953e98e6a from master
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions