jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-23 20:46:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
arduino-ide/arduino-ide-extension/src
History
Giacomo Cusinato 0fdbe70717 chore: use theia@1.50.1 
Remove `EditorCommandContribution` override, since  https://redirect.github.com/eclipse-theia/theia/pull/13683 fixed the unwanted save on startup
2025-03-28 20:06:18 +09:00
..
browser
chore: use theia@1.50.1
2025-03-28 20:06:18 +09:00
common
chore: use theia@1.46.1
2025-03-28 20:06:18 +09:00
electron-browser
chore: use theia@1.48.3
2025-03-28 20:06:18 +09:00
electron-common
chore(deps): Updated to Theia 1.39.0 (#2144)
2023-08-14 12:12:05 +02:00
electron-main
chore: use theia@1.46.1
2025-03-28 20:06:18 +09:00
node
chore: use theia@1.46.1
2025-03-28 20:06:18 +09:00
test
chore: use theia@1.46.1
2025-03-28 20:06:18 +09:00