diff doc/gendoc.py @ 31379:b6a6df38a802

merge: check current wc branch for 'nothing to merge', not its p1 The working directory will usually be clean or very clean, and wc will usually have the same branch as its parent. This change will thus usually not make any difference and is done as a separate change to show that. It will be used in a later change.
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 12 Mar 2017 16:41:46 -0700
parents d83ca854fa21
children ff874d34c856
line wrap: on
line diff