diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-26 16:51:13 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-26 16:51:13 -0300 |
commit | 10f411b47bd46fc28f780be9f70c20228ef4428c (patch) | |
tree | fafffd9447fad7f006169181f3d5692d6a456270 /tools/editor/plugins | |
parent | 8baa85d6b4428b3fcbcd7ef160e608471ea7606b (diff) |
Avoid mirroring to go negative to fix crash, closes #4036
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions