K 10 svn:author V 3 mph K 8 svn:date V 27 1998-06-01T04:57:11.000000Z K 7 svn:log V 187 Add ports/games/crafty. No licensing terms are provided, so until we know otherwise, assume that we can't redistribute. PR: 6804 Submitted by: Stefan Eggers END