Merge pull request #191 from kberg/option-consolidation
authorDan Vanderkam <danvdk@gmail.com>
Sun, 30 Dec 2012 15:32:30 +0000 (07:32 -0800)
committerDan Vanderkam <danvdk@gmail.com>
Sun, 30 Dec 2012 15:32:30 +0000 (07:32 -0800)
commit20d4f5375fbe40b14ae4430fb04e7a5770ba0711
tree3c7f8c519555038e7215a679216f800dc549e28f
parent03d2998b741f48e9d92ecbadfd62201886a19fda
parent780a5081d29a3c0a3c4f1d126f0992cf4fc14ebd
Merge pull request #191 from kberg/option-consolidation

Option consolidation