mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-08 20:06:32 +00:00
Updated to next
(0.14.0-next.0159cd5b
) Theia.
Co-authored-by: Jan Keromnes <jan.keromnes@typefox.io> Co-authored-by: Akos Kitta <kittaakos@typefox.io> Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
94233a1a19
commit
fcd6c792e3