Nicolas Petton 7549261797 gnome-shell: add missing python3 deps for gnome-shell-extension-tool ... Fix #14651		2016-07-08 17:26:15 +02:00
..
3.18	Merge pull request #16383 from philandstuff/remove-unused-config-option	2016-06-23 16:52:17 +01:00
3.20	gnome-shell: add missing python3 deps for gnome-shell-extension-tool	2016-07-08 17:26:15 +02:00
extensions	system-monitor gnome-shell extension: init	2016-04-15 16:19:44 -04:00