K 10 svn:author V 3 jkh K 8 svn:date V 27 1994-06-29T21:19:38.000000Z K 7 svn:log V 229 Oh GACK! src-clean doesn't quite work that easily since cleandist rebuilds the obj links again and they need to be nuked out one more time after it's finished. Sigh.. Oh well, this code will probably never be run again anyway. END