diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
| commit | e8209b9c5cd40649e0ab87515d20b4aab6c9feb0 (patch) | |
| tree | 71a61bcc6d2e02e429764508a15def90dc2a6102 /tools/editor/icons/icon_area.png | |
| parent | fea9511bc6be3135ee80f6aef03b4323110826e9 (diff) | |
Prevent crash in specific situation of removing a plugin, fixes #5019
Diffstat (limited to 'tools/editor/icons/icon_area.png')
0 files changed, 0 insertions, 0 deletions