jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-17 22:29:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
b0a32df0998a8ec7015a68bf433b53ffe954eaba
arduino-ide/arduino-ide-extension/src/node/config-service-impl.ts
Giacomo Cusinato 8053c55ec3 chore: use theia@1.46.1 
Use changes from https://github.com/arduino/arduino-ide/pull/2362 and rebase on main branch
2025-03-28 20:06:18 +09:00

12 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink