Update devcontainer.json

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

View File

@ -15,6 +15,7 @@
"python.pythonPath": "/usr/local/bin/python",
"python.linting.pylintEnabled": true,
"python.linting.enabled": true,
"files.trimTrailingWhitespace": true
"files.trimTrailingWhitespace": true,
"editor.rulers": [80]
}
}