NOTE: Do not delete this file; it's for preserving the directory in Git.
