diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-26 18:23:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-26 18:23:42 +0200 |
commit | 9d7945250e19e38f77498afab51067fd670b0ce2 (patch) | |
tree | fba8f0996cc7c2916ef1e1824a6d1d1cc842c99c /.gitignore | |
parent | 2a1a1f05feadc8c9b2e6a3058940456b65c3ecdc (diff) | |
parent | b92c210b8994f7ad469e5fae690d8de810ee6bce (diff) |
Merge pull request #10649 from akien-mga/code-error-always-show
Code editor: Don't play hide and seek with error label
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions