mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-17 10:28:41 +00:00

It came from the `@theia/debug` extension. Signed-off-by: Akos Kitta <kittaakos@typefox.io>
It came from the `@theia/debug` extension. Signed-off-by: Akos Kitta <kittaakos@typefox.io>