prash3r 706bbac9f0 keeps default dev config unchanged. ... this commit moves the default config into a seperate folder. And it adds a preLaunchTask which copies the default dev config to the used dev config. This is done with the cp option '-ru' so if the files in the target dir (current config) are newer they are not overwritten.		2022-09-14 19:14:52 +02:00
..
.gitkeep	keeps default dev config unchanged.	2022-09-14 19:14:52 +02:00