Update devcontainer.json

This commit is contained in:
Pascal Vizeli 2019-07-02 13:32:35 +02:00 committed by GitHub
parent e3d281b3c4
commit 7bf140f921
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -14,6 +14,7 @@
"settings": {
"python.pythonPath": "/usr/local/bin/python",
"python.linting.pylintEnabled": true,
"python.linting.enabled": true
"python.linting.enabled": true,
"files.trimTrailingWhitespace": true
}
}