Placeholder so that this directory will be added to the git repository.
