On 01/06/2014 08:11 PM, Patrick Dupre wrote:
Hello,
After I update from 19 to 20, I lost all my gnome extensions.
How can I have them back?
Use the tweak tool to get to gnome extensions and select those available
for gnome 3.10 that you want.
I miss the CPU temp widget I had back in f17....