     1.1 --- a/etc/settings	Wed Apr 13 18:47:53 2005 +0200
     1.2 +++ b/etc/settings	Wed Apr 13 18:48:05 2005 +0200
     1.3 @@ -239,3 +239,4 @@
     1.4  
     1.5  # Jerusat 1.3 (SAT Solver)
     1.6  #JERUSAT_HOME=/usr/local/bin
     1.7 +
changeset 15717	541e50adfc73
parent 15703	727ef1b8b3ee
child 15734	56a807868e23