# git won't keep an empty dir, hence this file