HomeIsabelle/Phabricator

avoid redundant meta data: exclude .hg_archival.txt;