diff tools/verify-all-heads.sh @ 957:397af94ce98c

editor: improve debug information when fetching files in replay
author Patrick Mezard <patrick@mezard.eu>
date Sun, 14 Oct 2012 12:35:13 +0100
parents 11c4c7242a36
children
line wrap: on
line diff