Add error detection and reporting to climix-editor (closes #130) (!90) · Merge requests · climix / climix · GitLab

The source project of this merge request has been removed.

Merged Klaus Zimmermann requested to merge (removed):editor-error-reporting into master Nov 11, 2019