| changeset 15284 | f14c6c057172 |
| parent 15283 | f21466450330 |
| child 15331 | 3e85549f25f5 |
--- a/etc/settings Sun Nov 14 01:40:27 2004 +0100 +++ b/etc/settings Sun Nov 14 01:56:58 2004 +0100 @@ -225,7 +225,7 @@ #EINDHOVEN_HOME=/usr/local/bin # ZChaff, Version 2004.05.13 (SAT Solver) -ZCHAFF_HOME=/home/webertj/bin +#ZCHAFF_HOME=/usr/local/bin # BerkMin561 (SAT Solver) #BERKMIN_HOME=/usr/local/bin