This file is needed to keep this directory in git.