diff -r 1291a8f2ccb1 -r 541e50adfc73 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
+