comparison tools/verify-all-heads.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 11c4c7242a36
children
comparison
equal deleted inserted replaced
755:9c9565643704 756:379c7837222f