Bauke 5b12c105f2 Disable auto-updating and remove unused settings.		2022-10-31 14:23:00 +01:00
..
settings.json	Disable auto-updating and remove unused settings.	2022-10-31 14:23:00 +01:00