diff options
| author | Martino Facchin <m.facchin@arduino.cc> | 2022-01-10 10:10:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-10 10:10:33 +0100 |
| commit | 2cebe625833afcdb76cc941ccf90e5f5fefc27a9 (patch) | |
| tree | bea6454104275b47c8b35bb9aee0eb4886b54886 /platform.txt | |
| parent | 6690a38fca9b5dad13d61a6b044c16906aa55952 (diff) | |
| parent | 5259cff79d09f765461497ecc6e63812f9fd9974 (diff) | |
Merge pull request #449 from per1234/unomini-menu-location
Use more logical Boards menu placement for Uno Mini
Diffstat (limited to 'platform.txt')
0 files changed, 0 insertions, 0 deletions