log

age author description
Wed, 03 Oct 2012 21:04:37 +0200 Patrick Mezard editor: handle deleted files in editor
Mon, 24 Sep 2012 23:44:23 +0200 Patrick Mezard editor: resolve files copied by directory copy on-demand
Mon, 24 Sep 2012 23:12:01 +0200 Patrick Mezard editor: add close_file(), enforce file batons semantics