diff Makefile @ 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 055f9254d790
children
line wrap: on
line diff