[SCM] minisat+ packaging branch, pristine-tar, created. e8cd618c5b2dafc730db9a80346b3d7a5a1ef24e

[Ralf Treinen]

The branch, pristine-tar has been created
        at  e8cd618c5b2dafc730db9a80346b3d7a5a1ef24e (commit)

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

    pristine-tar data for minisat+_2011.05.10.orig.tar.gz

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

-- 
minisat+ packaging