Merge pull request #475 from danvk/checked-options
authorDan Vanderkam <danvdk@gmail.com>
Sat, 22 Nov 2014 02:13:21 +0000 (21:13 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Sat, 22 Nov 2014 02:13:21 +0000 (21:13 -0500)
Log warnings when using non-existent options


Trivial merge