jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-18 18:16:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
arduino-ide/arduino-ide-extension/src/browser/data
History
github-actions[bot] 4f07515ee8
Updated themes (#1836) 
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
2023-02-15 09:27:23 +01:00
..
dark.color-theme.json
Updated themes (#1836)
2023-02-15 09:27:23 +01:00
default.color-theme.json
Updated themes (#1836)
2023-02-15 09:27:23 +01:00