theia-trace-extension
theia-trace-extension copied to clipboard
Update adr json schema
See https://github.com/eclipse-cdt-cloud/trace-server-protocol/pull/103
Signed-off-by: Bernd Hufmann [email protected]