Jonas Schievink 61c28c2b22 Build extension too

2020-04-28 22:32:23 +02:00

..

extensions.json

…

launch.json

Build extension too

2020-04-28 22:32:23 +02:00

tasks.json

Build extension too

2020-04-28 22:32:23 +02:00