diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-07-10 16:20:56 +0200 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-07-10 16:20:56 +0200 |
commit | 7d308797ad69acb7d2baf1ebbe6539843e194d26 (patch) | |
tree | 18fe728550458ee4467ae41100cd320cb8880fde /editor | |
parent | f4ff452a58b46b4ed8429eeeb32bfe766acc829a (diff) |
Remove warnings about benign situations
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions