Jörn-Michael Miehe 84ebce761e vscode tabsize		2022-09-12 22:13:05 +00:00
..
settings.json	vscode tabsize	2022-09-12 22:13:05 +00:00
tasks.json	title bar basic layout	2022-09-10 13:11:48 +00:00