On Sun 03 Mar 2013 02:07, Daniel Hartwig <mand...@gmail.com> writes:
> Can I ask whether it is preferred to use, e.g. @code{#f}, for the
> default values, as some places seem to and others don't. This patch
> is not using @code, but then, neither does it touch any doc. that was
> previously.Good question. Do you have an opinion?
