blob: 32b37ef87a5ba9cff9c9d4ac42e4d3a7b6024874 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
SERIOUSLY CONSIDER doing 'rm ${DISTFILES}/crafty/*.emd' as root when
you have installed all of the tablebases you're going to want.
To make use of the tablebases, something like the following should be
added to your ~/.craftyrc file:
egtb
cache 12M
|
