arduino/Arduino — pull request #2000 by matthijskooijman (2014-04-08 11:26:48+00:00)
Title: More commandline improvements

This pullrequest further improves the Arduino commandline and manpage and contains some small cleanups as well. The initial incentive for this patch series was making the saving of preferences consistent and adding the `--no-save-prefs` option, but I found some other things along the way.

The commit "Fix --curdir on Windows" has not been tested, since I don't have a Windows build environment set up.