Bauke 021d0faa4b Disable auto-updating and remove unused settings.		2022-10-30 11:58:51 +01:00
..
settings.json	Disable auto-updating and remove unused settings.	2022-10-30 11:58:51 +01:00