diff options
| author | Tim Graham <timograham@gmail.com> | 2013-12-30 17:55:12 -0500 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2013-12-30 17:57:47 -0500 |
| commit | f20da282972628daed1d792104500600d233d897 (patch) | |
| tree | e41ea6a88624f83f536a0f82f38d82a1e77304ab /docs/make.bat | |
| parent | 3cf9ba5fa31083b17c7363e512d365bac0f57c24 (diff) | |
[1.5.x] Fixed #21708 -- Added some headings to separate unrelated topics.
Thanks ashley at ashleymills.com for the suggestion.
Backport of 270f7e2167 from master
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions