From 7bf140f921b59c88970b859801c1c01a09e31425 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Tue, 2 Jul 2019 13:32:35 +0200 Subject: [PATCH] Update devcontainer.json --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 9e7960a310c..44b456456c7 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -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 } }