1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +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
..
2014-07-02 16:05:23 +02:00
2013-12-07 19:39:45 +01:00
2014-08-19 09:16:47 +02:00