Skip to content

remove type duplication for kind property#14207

Merged
JonasHelming merged 1 commit intoeclipse-theia:masterfrom eneufeld:chore/kind-cleanupSep 24, 2024

Commits

Commits on Sep 20, 2024