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

[Ralf Treinen]

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

- Shortlog ------------------------------------------------------------
commit 433cc06780c8d2dd9d0078460c6a9b62ceb83c28
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 20:09:42 2011 +0200

    pristine-tar data for minisat+_1.0.orig.tar.gz

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

-- 
minisat+ packaging