Hi https://live.gnome.org/GnomeTweakTool
"A tool to customize advanced GNOME 3 options." I don't think there is a release yet. So you might want to package the latest git snapshot. Do get in touch with upstream for details. I would be happy to do a review. Rahul _______________________________________________ india mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/india
