diff tools/verify-all-heads.sh @ 585:c3ba4ca81d16

editor: fix replaced files content in replay mode
author Patrick Mezard <pmezard@gmail.com>
date Tue, 02 Mar 2010 17:06:06 +0100
parents 11c4c7242a36
children
line wrap: on
line diff