hgext/__init__.py
author Thomas Arendsen Hein <thomas@intevation.de>
Tue, 05 Dec 2006 23:25:28 +0100
changeset 3797 2aef481ac73c
parent 1360 7d439981bec4
permissions -rw-r--r--
Don't report an error when closing heads during local push (issue387)

# placeholder