Skip to content

Should update the diagnostics for the deleted resource and it's children#1283

Merged
snjeza merged 1 commit intoeclipse-jdtls:masterfrom testforstephen:jinbo_diagnosticsNov 20, 2019

Commits

Commits on Nov 20, 2019