diff tools/verify-all-heads.sh @ 1586:6cc986fee28e

The Mercurial 4.5 that comes with Ubuntu doesn't have this parameter
author Bernhard F.W. Gschaider <bgschaid@hfd-research.com>
date Fri, 21 Sep 2018 15:07:09 +0200
parents 11c4c7242a36
children
line wrap: on
line diff