Remove this file as soon as this directory is no longer empty.
(I am here to force the creation of the directory by CVS)
