Merge pull request #501 from danvk/options-link
authorDan Vanderkam <danvdk@gmail.com>
Sat, 29 Nov 2014 17:27:32 +0000 (12:27 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Sat, 29 Nov 2014 17:27:32 +0000 (12:27 -0500)
Documentation tweaks


Trivial merge