Tobias Schmidl ec2989852d user.js: Added a lot of privacy settings		2023-10-24 14:19:57 +02:00
..
chrome	renamed userChrome.css	2018-11-02 19:26:37 +01:00
stylus.json	stylus: big update	2020-07-23 10:29:06 +02:00
user.js	user.js: Added a lot of privacy settings	2023-10-24 14:19:57 +02:00