diff options
| author | garwoodpr <garwoodpr@users.noreply.github.com> | 2015-05-06 22:23:07 -0500 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2015-05-21 19:06:33 -0400 |
| commit | 4c1314055373d95f2fb174b9cc2e4775b5d82bf6 (patch) | |
| tree | b18bbac67ec5939599b18806c748f4963c6733f0 /docs/_theme | |
| parent | 4bf6f55cc65f191c951a2d9705b23e0b08d27d6b (diff) | |
[1.8.x] Cosmetic edits and minor corrections to docs/ref/settings.txt.
Backport of 5edf25bdddab24966d8597d17d841cb9c05274c9 from master
Diffstat (limited to 'docs/_theme')
0 files changed, 0 insertions, 0 deletions