diff contrib/revsetbenchmarks.py @ 27614:1d7e824ad093

help: include section heading if section depth changes This makes it easier to distinguish between: "format" -------- "usestore" ... Enabled by default. and "progress.format" Format of the progress bar.
author timeless <timeless@mozdev.org>
date Fri, 01 Jan 2016 16:59:13 +0000
parents b9fc042168a4
children c4bec3c45ec9
line wrap: on
line diff