comparison tools/verify-all-heads.sh @ 285:913fd8aa221c

Rename parentui to src (after mercurial rev 9b8ac5fb7760) Just pass in src to real_ui as a positional argument to avoid the problem in the future.
author Martijn Pieters <mj@zopatista.com>
date Mon, 27 Apr 2009 09:39:39 -0500
parents 3c87de482011
children 5071b8511572
comparison
equal deleted inserted replaced
284:f8f9a2993705 285:913fd8aa221c