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)
commitd1cbfdede73dd1cac2c0beb70f0a0f9bc7c0a322
tree04803c49ccfb9e6e1cf18ec4fd3e1d2695049025
parent4731ec3a0b60f81e8ef26fc95a69b9751069686b
parente7fa23e5d4fb12c8222cc8242fcb4d1d3f9cc127
Merge pull request #501 from danvk/options-link

Documentation tweaks