K 10 svn:author V 4 bapt K 8 svn:date V 27 2015-09-13T13:16:42.291057Z K 7 svn:log V 104 Make GNOME an option instead of autodetermined While here: - Use options helpers - Fix plist with GNOME END