K 10 svn:author V 5 markm K 8 svn:date V 27 1996-02-13T12:25:32.000000Z K 7 svn:log V 70 Remove the old DES library from the bootstrap: target Found by: Joerg END