mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-15 21:29:27 +00:00
So that we can add guards against whitespaces in the path. Also cleaned up the code a bit. Signed-off-by: Akos Kitta <kittaakos@typefox.io>