# This file should not be copied, nor should the
# containing directory, since it is effectively "empty"