# HG changeset patch
# User webertj
# Date 1100393818 -3600
# Node ID f14c6c05717217299bb643196faec105fa280fe4
# Parent  f2146645033025c9e87024ace950a4d3d06cd914
*** empty log message ***

diff -r f21466450330 -r f14c6c057172 etc/settings
--- 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