Tio 74f3bd305d updating the firefox profile and the gnome extensions		2021-06-09 17:51:27 +02:00
..
overrides	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
schemas	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
styles	a few changes for the new release	2021-05-11 00:03:41 +02:00
themes	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
buttons.js	a few changes for the new release	2021-05-11 00:03:41 +02:00
convenience.js	a few changes for the new release	2021-05-11 00:03:41 +02:00
extension.js	a few changes for the new release	2021-05-11 00:03:41 +02:00
handlers.js	a few changes for the new release	2021-05-11 00:03:41 +02:00
layout.js	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
metadata.json	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
panel.js	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
prefs.js	a few changes for the new release	2021-05-11 00:03:41 +02:00
settings.ui	updating the firefox profile and the gnome extensions	2021-06-09 17:51:27 +02:00
stylesheet.css	a few changes for the new release	2021-05-11 00:03:41 +02:00
window.js	a few changes for the new release	2021-05-11 00:03:41 +02:00