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)
commit6ec8f3c24060951faaeb57ebe4d6066b5e123280
tree21f2702577b89ea260a23b9b75a7d905cb44484f
parente5c62a870d998e96bbf0e1bdd4bfbdee0d9d49f2
parentac3070f822673ec233bace8dfa407831a6c8d6d7
Merge pull request #475 from danvk/checked-options

Log warnings when using non-existent options