diff doc/gendoc.py @ 3797:2aef481ac73c

Don't report an error when closing heads during local push (issue387)
author Thomas Arendsen Hein <thomas@intevation.de>
date Tue, 05 Dec 2006 23:25:28 +0100
parents 7956893e8458
children 54fd4d3b4fce
line wrap: on
line diff