diff options
author | AndreaCatania <info@andreacatania.com> | 2020-11-28 13:47:52 +0100 |
---|---|---|
committer | AndreaCatania <info@andreacatania.com> | 2020-11-28 13:47:52 +0100 |
commit | 40403b02fb203068f9b6ee6cbf74170c562a4379 (patch) | |
tree | 536d255b07d66716f85783fd058d6f002d04a3e1 /editor | |
parent | f73374629dd57d3eea6a960859ca223fa2d95fc4 (diff) |
Implement proper error print, Fixes a crash when no error messages are generated by the analyser.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions