activate_gnome/activate_gnome@isjerryxiao
David Cooper 9bc8e44ea9 Punch up plugin description
May as well go whole hog and add an extra joke in there.
2022-12-13 19:08:33 -05:00
..
schemas Add font size option, fixes #6 2022-06-07 18:51:11 +08:00
extension.js Add font size option, fixes #6 2022-06-07 18:51:11 +08:00
metadata.json Punch up plugin description 2022-12-13 19:08:33 -05:00
prefs.js Add font size option, fixes #6 2022-06-07 18:51:11 +08:00
stylesheet.css Add font size option, fixes #6 2022-06-07 18:51:11 +08:00