search

nodefourtytwo / gnome-shell-extension-cpu-freq

Change CPU frequency from gnome shell
12 stars 11 forks source link

Capitalize the first letter of the governor names. #18

Closed micheleg closed 10 years ago

micheleg commented 11 years ago

Just nicer IMHO.