Ajay Ramachandran 91f3ebed41 Add option to not auto-hide info button		2021-06-27 18:50:52 -04:00
..
options.css	Make options page text copy pastable and searchable	2021-06-18 00:42:30 -04:00
options.html	Add option to not auto-hide info button	2021-06-27 18:50:52 -04:00