comparison tools/common.sh @ 756:379c7837222f

replay: extract externals updating from convert_rev() Partially revert 45ce07a4807f
author Patrick Mezard <pmezard@gmail.com>
date Fri, 19 Nov 2010 17:07:13 +0100
parents 5071b8511572
children
comparison
equal deleted inserted replaced
755:9c9565643704 756:379c7837222f