diff CHANGELOG @ 4597:f3236cd49ab8

evolve: clean up progress bar also when using -r It looks like 1fe3da0b4601 (evolve: add --rev option to the evolve command, 2015-05-05) forgot to update the "showprogress" variable.
author Martin von Zweigbergk <martinvonz@google.com>
date Tue, 23 Apr 2019 09:31:32 -0700
parents 48521a49a07e
children d314deb12f08
line wrap: on
line diff