Reverted r4503. This file addition should have been made in the 1.3 line.
The command used was: svn merge -r4503:4502 .
After this deletion, the revision will be ported to the 1.3 line, and the svnmerge will bring the file back.
Authored by: bugman 2008-02-20
Parent: [r5054]
Child: [r5056]