fliegerjohn 7c19d8018d Delete not needed files		2023-11-22 21:34:38 +01:00
..
userChrome	Delete not needed files	2023-11-22 21:34:38 +01:00
userContent	Add @user0’s contributions as of 2023-10-30	2023-11-12 22:33:55 +01:00
mobile-config-prefs.js	mobile-config-prefs.js: enable TouchEvents API for mobile detection (MR 29)	2023-04-03 10:38:11 +02:00
policies.json	autoconfig: set browser.newtabpage.enabled (MR 19)	2021-12-05 11:45:42 +01:00