diff Makefile @ 963:64d961130a07

editor: do not record invalid path deletion
author Patrick Mezard <patrick@mezard.eu>
date Mon, 15 Oct 2012 22:24:29 +0200
parents 055f9254d790
children
line wrap: on
line diff