diff tools/verify-all-heads.sh @ 939:997de286ba0c

editor: add close_file(), enforce file batons semantics Supporting close_file() is a big step toward reducing memory consumption as now know which files are still to be edited and which are done already.
author Patrick Mezard <patrick@mezard.eu>
date Mon, 24 Sep 2012 23:12:01 +0200
parents 11c4c7242a36
children
line wrap: on
line diff