[python-polybori] Renamed to polybori.

[Jerry James]

commit beefb670b425a808cd58e0d9c23630ee9fbadb22
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Jan 3 08:46:51 2012 -0700

    Renamed to polybori.

 .gitignore                        |    1 -
 dead.package                      |    1 +
 polybori-0.7.2-m4ri.patch         |   12 --
 polybori-dont-build-libcudd.patch |   94 ------------
 polybori-import.patch             |   27 ----
 polybori-ipython.patch            |  134 -----------------
 polybori-warning.patch            |   84 -----------
 polybori.desktop                  |   11 --
 python-polybori.spec              |  286 -------------------------------------
 sources                           |    1 -
 10 files changed, 1 insertions(+), 650 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..f4138ed
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+Renamed to polybori.