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.

#!/bin/sh
. $(dirname $0)/common.sh

for b in `hg branches -aq` ; do
    hg co $b || break
    echo verifying $b
    hg svn verify
done