# HG changeset patch
# User wenzelm
# Date 933971877 -7200
# Node ID 5a80f69d6c625fdbc569f3694db456f4769f3e2e
# Parent  cc7a89d233f73cbf154b78af516520cf6cfb2d1a
tuned;

diff -r cc7a89d233f7 -r 5a80f69d6c62 etc/settings
--- a/etc/settings	Fri Aug 06 22:34:00 1999 +0200
+++ b/etc/settings	Fri Aug 06 22:37:57 1999 +0200
@@ -129,7 +129,7 @@
 ### External reasoning tools
 ###
 
-## set FOO_HOME only for tools you have installed
+## Set HOME only for tools you have installed!
 
 # SVC (Stanford Validity Checker)
 #SVC_HOME=