diff tools/verify-all-heads.sh @ 942:4d9e80f6ba43

editor: do not touch RevisionData copies from the editor Copy source can be passed when adding the file to the revision data.
author Patrick Mezard <patrick@mezard.eu>
date Tue, 25 Sep 2012 21:34:16 +0200
parents 11c4c7242a36
children
line wrap: on
line diff