etc/settings

--- a/etc/settings	Wed Apr 13 18:47:53 2005 +0200
+++ b/etc/settings	Wed Apr 13 18:48:05 2005 +0200
@@ -239,3 +239,4 @@
 
 # Jerusat 1.3 (SAT Solver)
 #JERUSAT_HOME=/usr/local/bin
+