hgext/__init__.py
author Patrick Mezard <pmezard@gmail.com>
Sun, 17 Jun 2007 19:40:02 +0200
changeset 4596 8e37342cb05d
parent 1360 7d439981bec4
permissions -rw-r--r--
patchbomb: flush ui before delegating to pager.

# placeholder