diff hgext/patchbomb.py @ 2501:b73552a00b20

Make "[web] allow_push, deny_push" and "[http_proxy] no" use ui.configlist.
author Thomas Arendsen Hein <thomas@intevation.de>
date Mon, 26 Jun 2006 16:47:24 +0200
parents bd9c39e8f38b
children f1de91be1d87 99e7cf6bd2f7
line wrap: on
line diff