Files
gnome-shell-extensions/extensions
Giovanni Campagna 765905f5b8 gajim: port to new extension API
main() has been	replaced by init(), enable() and disable()
when disabling, all sources and notifications associated with gajim
contacts are automatically closed
2011-08-02 23:33:25 +02:00
..
2011-08-02 23:30:38 +02:00
2011-08-02 23:33:25 +02:00