mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-26 00:07:18 +00:00

Fixes bcmi-labs/arduino-language-server#9 Signed-off-by: Akos Kitta <kittaakos@typefox.io>
Fixes bcmi-labs/arduino-language-server#9 Signed-off-by: Akos Kitta <kittaakos@typefox.io>