K 10
svn:author
V 3
mph
K 8
svn:date
V 27
2003-01-07T18:27:11.000000Z
K 7
svn:log
V 115
Remove the crafty-open-rock port.  The necessary files are no longer
available.

Reported by:	Bill Fenner's survey

END