Env: Basic VSCode Extension Recommendations and Settings#80

Merged

da2ce7 merged 2 commits intotorrust:developfrom

da2ce7:vscode-recommendations

Sep 21, 2022

Commits on Sep 21, 2022

env: workspace vscode settings and extension recommendations
da2ce7
committed
env: vscode workspace settings, do clippy check on save.

da2ce7
and
josecelano
committed