Skip to content

Fix file watching events being lost#12264

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom eclipsesource:fileWatcherFixMar 10, 2023
+6-9

Commits

Commits on Mar 7, 2023