| http://www.w3.org/ns/prov#value | - Reply toxicbits says: July 14, 2011 at 4:34 pm I really like the way Gnome Shell is going, I even switched from Ubuntu to Fedora because of it, but some decisions seem to be just wrong, e.g. the missing option to shut down or to change the theme.
|
