mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-15 15:26:32 +00:00
Updated to 0.14.0-next.0159cd5b
Theia.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
1b95242ad1
commit
f0a628534e