Luca Bruno 6b21186742 gnome 3.12: make remote desktop sharing work		2014-05-26 17:18:04 +02:00
..
default.nix	gnome 3.12: make remote desktop sharing work	2014-05-26 17:18:04 +02:00
search_providers_dir.patch	Branch gnome 3.12	2014-05-20 13:41:33 +02:00