Veneficium 725306588d vscode: use default formatter for json		2024-11-18 21:39:01 +01:00
..
settings.json	vscode: use default formatter for json	2024-11-18 21:39:01 +01:00
tasks.json	vscode: integrate rebuild script with vscode	2024-11-05 21:19:36 +01:00