This file contains no definition, but is used as a marker in the save dir to
indicate all definitions have been copied from the repo to the save dir.