comparison contrib/convert-repo @ 4596:8e37342cb05d

patchbomb: flush ui before delegating to pager.
author Patrick Mezard <pmezard@gmail.com>
date Sun, 17 Jun 2007 19:40:02 +0200
parents 645e1dd4b8ae
children 0fab73b3f453
comparison
equal deleted inserted replaced
4595:f7f2bd7f981d 4596:8e37342cb05d