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.