diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-07 18:38:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-07 18:38:27 +0100 |
| commit | 81c6a7e5f231380db35287bf1a350a5e022c56dc (patch) | |
| tree | ec4be5ecd26435cc297b840a86963309d7909023 /doc | |
| parent | 2d3fcd0ff0022a0fc36cf201d6628618507d5309 (diff) | |
| parent | 47389c3a167797ef6e5756937e9d888f6a7719b7 (diff) | |
Merge pull request #33427 from akien-mga/revert-shifting-32657
Partial revert of #32657, undoing line shifting by 0.5
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions