diff README @ 3795:b8b4ff86feb8

evolve: add a help topic `Interrupted-Evolve` This help topic contains description on how the various flags work during interrupted evolve. This help topic will be included in error message during interrupted evolve in next patch.
author Pulkit Goyal <7895pulkit@gmail.com>
date Wed, 23 May 2018 01:11:59 +0530
parents 6352dc395ebf
children 75e4c451b753
line wrap: on
line diff