K 10 svn:author V 7 vanilla K 8 svn:date V 27 2002-10-27T05:12:24.000000Z K 7 svn:log V 86 Remove pike after repo-copy pike to pike70, and add pike70 & pike72 to lang/Makefile. END