diff options
| author | Andrea Catania <info@andreacatania.com> | 2018-04-12 11:37:36 +0200 |
|---|---|---|
| committer | Andrea Catania <info@andreacatania.com> | 2018-04-12 11:37:36 +0200 |
| commit | 2cfa86122294f6b5402bf9852171023be1fc15cb (patch) | |
| tree | 397a124d7b054be34bb030a11bba2f18a10f6c25 /editor | |
| parent | df2a626b49a4e8ead003ebefb9663c63156b4efa (diff) | |
Removed useless check
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions