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

3 Commits

Author SHA1 Message Date
Federico Fissore
6e498ee5b9 LibraryManager: better type filtering 2015-03-27 14:51:19 +01:00
Fede85
dd77375fe9 missing paragraph field in library.properties 2014-07-18 20:08:01 +02:00
Fede85
b02e85ceb2 modified sentences in library.properties files 2014-07-18 19:41:34 +02:00