[service-technology.org] r5589 - in /trunk/safira: ChangeLog NEWS configure.ac doc/ChangeLog.texi libs/minisat/Main.C src/Formula.cc src/Formula_toCNF.cc

Mon, 05 Apr 2010 08:44:43 -0700 

Author: niels
Date: Mon Apr  5 17:44:39 2010
New Revision: 5589

URL: http://svn.gna.org/viewcvs/service-tech?rev=5589&view=rev
Log:
* removed zlib dependency


Modified:
    trunk/safira/ChangeLog
    trunk/safira/NEWS
    trunk/safira/configure.ac
    trunk/safira/doc/ChangeLog.texi
    trunk/safira/libs/minisat/Main.C
    trunk/safira/src/Formula.cc
    trunk/safira/src/Formula_toCNF.cc


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
[email protected]. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.

Reply via email to