nobody e67b6715ec

Set correct text for HTML filter

2023-01-20 06:54:52 +01:00

..

options-advanced.js

Chromium: Remove option to block Google Fonts (#1085)

2022-07-27 18:22:49 +02:00

options-basic.js

Debug information removed

2021-02-21 20:36:50 +01:00

options-info.js

Counter options page improved

2022-04-10 10:18:19 +02:00

options-other.js

Synchronize settings (#1223)

2022-12-03 06:22:57 +01:00

options.css

Set correct text for HTML filter

2023-01-20 06:54:52 +01:00

options.html

html structure improved (#1237)

2022-12-11 05:21:36 +01:00

options.js

Sync: settings are not saved locally (#1236)

2022-12-05 06:30:47 +01:00