1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00
Commit Graph

1 Commits

Author SHA1 Message Date
Federico Fissore
9fd4e8e940 Libraries menu: dynamic title in library group 2015-03-27 14:51:14 +01:00