# keep this directory in git tree