1
0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-04-30 10:17:19 +00:00

4 Commits

Author SHA1 Message Date
Akos Kitta
7c3d830ea2 Reverted an obsolete change.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-08 22:31:09 +02:00
Akos Kitta
d346b81331 Changed the way we init default locations.
For the `data` and `downloads`.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-08 22:31:09 +02:00
Akos Kitta
bfb0edf50c Guard against no workspaces root.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-05-08 22:31:09 +02:00
Christian Weichel
201351fea8 Moving repo to bmci-labs 2019-05-06 10:25:29 +02:00