diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-30 08:08:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-30 08:08:36 +0100 |
| commit | cf50ce86e04399f69a8b3f8da9728354cc6d04a0 (patch) | |
| tree | 522425dd14496240d7a15a3c39fa8ec1e5df4b22 /doc | |
| parent | 40a7b7e391e14fa53a0547c9c173a869f3da626e (diff) | |
| parent | 4b80bc3303c88b545d63c6d8ecd63ad22d44ac3d (diff) | |
Merge pull request #13407 from djrm/pr_fixes
Fixed editor settings disappearing (caused by uninitialized variable).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions