From b13edadd9964612e9c4395eff60df75ebfe344c3 Mon Sep 17 00:00:00 2001 From: Ethan Roseman Date: Tue, 10 Nov 2020 15:24:09 -0500 Subject: [PATCH] revert settings change --- .vscode/settings.json | 1 - 1 file changed, 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 8e1ee5da6b..c2b3c50402 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -15,5 +15,4 @@ "build": true, "docs/doxygen": true, }, - "python.pythonPath": "/usr/bin/python3", }