diff doc/gendoc.py @ 31165:81250d377611

merge: combine the "merge" cases in docstring table
author Martin von Zweigbergk <martinvonz@google.com>
date Mon, 27 Feb 2017 15:09:19 -0800
parents d83ca854fa21
children ff874d34c856
line wrap: on
line diff