diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-24 10:30:36 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-24 10:30:36 -0300 |
commit | 95e3279d34fd99bf816a19a7c0dc5a2d58e418e6 (patch) | |
tree | 2c9a54041d4aa9e2b1530d9c836c504cf893ea4c /tools/editor/editor_run.cpp | |
parent | 9e0b6057e74181635bf3732879313d3d82bcfd93 (diff) |
Properly report a valid error instead of reporting as a bug, closes #3841
Diffstat (limited to 'tools/editor/editor_run.cpp')
0 files changed, 0 insertions, 0 deletions