[m-rev.] diff: write_as_doc

Peter Wang novalazy at gmail.com
Thu Aug 25 14:38:01 AEST 2022

On Thu, 25 Aug 2022 13:17:36 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > write_as_doc is not the most descriptive. What about write_formatted?
> There are many kinds of formatting. How about write_doc_formatted?

Well, okay. With write_formatted, I meant to convey "write out this
[generic term] in a pretty way". There's no doc involved in the


More information about the reviews mailing list