theia-trace-extension icon indicating copy to clipboard operation
theia-trace-extension copied to clipboard

Update adr json schema

Open bhufmann opened this issue 1 year ago • 1 comments

See https://github.com/eclipse-cdt-cloud/trace-server-protocol/pull/103

Signed-off-by: Bernd Hufmann [email protected]

bhufmann avatar Aug 30 '24 17:08 bhufmann