[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 050f17e0826189368db806af37046b0d9a436faa
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:03:17 2011 +0200

    install examples

diff --git a/debian/minisat+.examples b/debian/minisat+.examples
new file mode 100644
index 0000000..3693723
--- /dev/null
+++ b/debian/minisat+.examples
@@ -0,0 +1 @@
+Examples/*

-- 
minisat+ packaging