Jascha Geerds 3d9a4d79cf gnome3: Include gnome-shell-extensions in session path		2015-07-24 12:41:20 +02:00
..
3.16	gnome3: Include gnome-shell-extensions in session path	2015-07-24 12:41:20 +02:00