This file is a placeholder for a possibly-empty directory.