Skip to content

Use problem manager to handle markers from plugins#4178

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:4097_plugin_diagnosticsFeb 27, 2019
+61-44

Commits

Commits on Feb 26, 2019