[SCM] minisat+ packaging annotated tag, upstream/1.0, created. upstream/1.0

[Ralf Treinen]

The annotated tag, upstream/1.0 has been created
        at  30c3c07e52b0b3b59a86a8cc3da56070ae4a0290 (tag)
   tagging  d984c679c42cbd2311881f7949a1e85cfcd4f081 (commit)
 tagged by  Ralf Treinen
        on  Wed May 11 20:09:42 2011 +0200

- Shortlog ------------------------------------------------------------
Upstream version 1.0

Ralf Treinen (1):
      Imported Upstream version 1.0

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

-- 
minisat+ packaging