[gnome-shell-extension-icon-manager] This extension is disontinued. You can use TopIcon in replacement : https://extensions.gnome.org/ext

[Guillaume Kulakowski]

commit edde552f152f0bb5ef4e1d88f87bf8452a01fc46
Author: Guillaume Kulakowski <guillaume at llaumgui.com>
Date:   Wed Apr 10 13:42:32 2013 +0200

    This extension is disontinued. You can use TopIcon in replacement : https://extensions.gnome.org/extension/495/topicons/

 .gitignore                              |    4 --
 dead.package                            |    1 +
 gnome-shell-extension-icon-manager.spec |   83 -------------------------------
 sources                                 |    1 -
 4 files changed, 1 insertions(+), 88 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..457a778
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+This extension is disontinued. You can use TopIcon in replacement : https://extensions.gnome.org/extension/495/topicons/