[SCM] minisat+ packaging annotated tag, debian/1.0-2, created. debian/1.0-2

[Ralf Treinen]

The annotated tag, debian/1.0-2 has been created
        at  e256afb008bb77cd652b5dcb5e96ce1c4b27698e (tag)
   tagging  5092861a59ff048245c4494d2aee23112f41097d (commit)
  replaces  debian/1.0-1
 tagged by  Ralf Treinen
        on  Tue May 24 21:02:32 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.0-2

Ralf Treinen (4):
      use exitcode
      document exitcode in manpage, update changelog
      refresh patch
      don't patch files in debian/

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

-- 
minisat+ packaging