1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Matthijs Kooijman e494f39255 Add --get-pref option
This allows reading specific preferences from the commandline.
2014-08-19 09:16:47 +02:00
..
2012-01-11 13:59:39 +01:00
2012-12-04 11:54:19 +01:00
2014-01-27 16:06:55 +01:00
2014-08-19 09:16:47 +02:00
2014-02-06 10:21:54 +01:00
2014-08-18 16:09:03 +02:00