comparison tools/verify-all-heads.sh @ 587:c06f59441f8e

editor: fix replaced directory copies Known failures: - Replaced directories copy records are wrong in stupid mode - Replaced files copy records are probably wrong in all modes
author Patrick Mezard <pmezard@gmail.com>
date Tue, 02 Mar 2010 17:06:06 +0100
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
586:704d2ce1d906 587:c06f59441f8e