diff Makefile @ 4599:93ffedae6ec6

evolve: _solveunstable() update progress only once There's no need to draw it, then possibly write text over it (with --verbose), and then draw it again.
author Martin von Zweigbergk <martinvonz@google.com>
date Tue, 23 Apr 2019 09:45:45 -0700
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff