Christian Georgi 8978799491 Remove superfluous files

2020-01-24 09:43:07 +00:00

..

launch.json

Remove superfluous files

2020-01-24 09:43:07 +00:00

settings.json

settings.json restored

2020-01-04 07:24:11 +01:00

tasks.json

cleaned up start scripts

2020-01-03 02:59:27 +01:00