[SCM] minisat+ packaging branch, master, created. ab86db96c243196e68309fe09af232bba6cc8c07

[Ralf Treinen]

The branch, master has been created
        at  ab86db96c243196e68309fe09af232bba6cc8c07 (commit)

- Shortlog ------------------------------------------------------------
commit ab86db96c243196e68309fe09af232bba6cc8c07
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 16:44:43 2011 +0200

    Imported Upstream version 2011.05.10

-----------------------------------------------------------------------

-- 
minisat+ packaging