Merge pull request #181 from kberg/master
authorDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 01:49:52 +0000 (17:49 -0800)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 01:49:52 +0000 (17:49 -0800)
Add deprecation warning when a legacy option is mapped. Also some comments and comment clean-up


Trivial merge