jjpark-kb 24d1bbeb54 also adds these

2020-07-15 22:16:32 -04:00

..

extensions.json

ports the vscode stuff from tg

2020-07-15 22:15:51 -04:00

launch.json

also adds these

2020-07-15 22:16:32 -04:00

settings.json

also adds these

2020-07-15 22:16:32 -04:00