Eric D. Rohler 6112a0d767 update alias and vscode settings

2020-08-01 17:40:41 -04:00

..

extensions.json

Merged PR 539: Update aliases and vscode extensions

2020-07-31 11:39:28 +00:00

settings.json

update alias and vscode settings

2020-08-01 17:40:41 -04:00