diff doc/gendoc.py @ 45122:a391d0710f22

rewriteutil: add utility to check whether empty successors should be skipped
author Manuel Jacob <me@manueljacob.de>
date Sun, 12 Jul 2020 06:06:06 +0200
parents 1a4b9b602e54
children c102b704edb5
line wrap: on
line diff