K 10 svn:author V 3 mph K 8 svn:date V 27 1998-06-04T02:40:28.000000Z K 7 svn:log V 189 Remove restrictions on crafty. As long as we don't increase the price of our CD as a result of adding crafty, we're okay. PR: 6842 Submitted by: Stefan Eggers END