github.com/adoriasoft/tendermint@v0.34.0-dev1.0.20200722151356-96d84601a75a/.vscode (about) settings.json