diff docs/obs-terms.rst @ 3842:b293cce4ff55

evolve: point to `hg help evolve.interrupted` while resolving content-div Recent test additions shows that --abort and --stop works well while resolving content-divergence and we should advertise them. This patch does so by pointing to evolve.interrupted help topic.
author Pulkit Goyal <7895pulkit@gmail.com>
date Tue, 12 Jun 2018 04:01:19 +0530
parents 07ce6c063c61
children 8406d9b06130
line wrap: on
line diff