mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-19 12:57:17 +00:00

It is a workaround for eclipse-theia/theia#3590 Signed-off-by: Akos Kitta <kittaakos@typefox.io>
It is a workaround for eclipse-theia/theia#3590 Signed-off-by: Akos Kitta <kittaakos@typefox.io>