diff tools/verify-all-heads.sh @ 433:a2a15fa7afb1

editor: move set_file() and delete_file() methods to RevisionData class
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Tue, 16 Jun 2009 08:41:28 +0200
parents 11c4c7242a36
children
line wrap: on
line diff