K 10 svn:author V 2 bz K 8 svn:date V 27 2018-12-11T21:16:09.155209Z K 7 svn:log V 49 Remove a dead file. CVS was removed in r251794. END