Placeholder to keep CVS from deleting this directory
