tree 7de15580afb434313980287aac400823c29a3c2e
parent 1c008c186a1945576a96a77f6d066014a1e9aa1e
author Jesse van den Kieboom <jessevdk@gmail.com> 1444504564 +0200
committer Jesse van den Kieboom <jessevdk@gmail.com> 1444504564 +0200

Improve documentation of 'optional'