Merge pull request #278 from danvk/typed-options
authorDan Vanderkam <danvdk@gmail.com>
Mon, 14 Oct 2013 21:37:11 +0000 (14:37 -0700)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 14 Oct 2013 21:37:11 +0000 (14:37 -0700)
commit70d47e7c9564e190f29f6a8bb1f4c547bef8781a
treeab49c7a10346652c60fd969545818f04af532710
parent8370701b5b35bc4ac1c77e87f9e839112abd46ce
parent1c420f2f9cf0477347061f7713e111d74e47af47
Merge pull request #278 from danvk/typed-options

Typed options