mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-27 08:47:18 +00:00

Removed the widget update due to an incorrect manual merge. Signed-off-by: Akos Kitta <kittaakos@typefox.io>
Removed the widget update due to an incorrect manual merge. Signed-off-by: Akos Kitta <kittaakos@typefox.io>