Luca Bruno e4e39f26ba Change default from gnome 3.10 to gnome 3.12		2014-09-08 18:35:45 +02:00
..
3.10	Change default from gnome 3.10 to gnome 3.12	2014-09-08 18:35:45 +02:00
3.12	Merge remote-tracking branch 'origin/staging'	2014-09-08 11:42:09 +02:00