diff docs/conf.py @ 3821:f67ac33c07d2

evolve: rename help topic evolve.interrupted-evolve to evolve.interrupted `evolve.interrupted-evolve` has the word evolve twice. Now that this help topic is a part of evolve command, evolve.interrupted will mean the interrupted evolve command only.
author Pulkit Goyal <7895pulkit@gmail.com>
date Mon, 11 Jun 2018 01:12:12 +0530
parents 9aec8fec2bf8
children ce163aaeba37
line wrap: on
line diff