Closed
#83 Update to Theia 1.18.0 and support Codicons#84ndoschek wants to merge 1 commit intoeclipse-sprotty:master from ndoschek:ndoschek/issues/83
ndoschek wants to merge 1 commit intoeclipse-sprotty:master from ndoschek:ndoschek/issues/83
#83 Update to Theia 1.18.0 and support Codicons#84
Closed
ndoschek wants to merge 1 commit intoeclipse-sprotty:master from ndoschek:ndoschek/issues/83
+1,242-929