diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2017-03-20 23:30:32 +0100 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2017-03-20 18:31:28 -0400 |
| commit | 3b4947e7ba8eed175dc7497c28a9d19da9777de5 (patch) | |
| tree | 967305e05d37a7d630c8d333b80f9dc268a9f7d5 /docs/_theme | |
| parent | e0ddfa3af30e8e0328cef17fd424c4337efec58e (diff) | |
[1.11.x] Removed extra characters in docs header underlines.
Backport of a3af8c99d94638e0d1fc8a847b74aa6953441d55 from master
Diffstat (limited to 'docs/_theme')
0 files changed, 0 insertions, 0 deletions