Tio 74f3bd305d 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

helper.js

a few changes for the new release

2021-05-11 00:03:41 +02:00

layout.js

a few changes for the new release

2021-05-11 00:03:41 +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

window.js

a few changes for the new release

2021-05-11 00:03:41 +02:00