Skip to content

Implement CanonicalUriProvider API. Fixes #12735#12743

Merged
tsmaeder merged 3 commits intoeclipse-theia:masterfrom tsmaeder:12735_canonical_uri_providerJul 24, 2023
+215-4

Commits

Commits on Jul 21, 2023

Commits on Jul 24, 2023