From 91933d1d9bd2a97760eee7e8437808e4659d07aa Mon Sep 17 00:00:00 2001
From: Gregor Sturm <mail@gregor-sturm.de>
Date: Fri, 14 Feb 2020 14:35:26 +0100
Subject: [PATCH] Add default vscode settings file.

Former-commit-id: 4b85b51f483e7c40e5a96c3dd00b92e8d71ec2ed
---
 .gitignore                                       | 2 ++
 .vscode/{settings.json => settings.json.default} | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)
 rename .vscode/{settings.json => settings.json.default} (65%)

diff --git a/.gitignore b/.gitignore
index f8a291e30..245f3f19b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+.vscode/*
+!.vscode/settings.json.default
 notebooks
 tutorial/TraCeR
 # Byte-compiled / optimized / DLL files
diff --git a/.vscode/settings.json b/.vscode/settings.json.default
similarity index 65%
rename from .vscode/settings.json
rename to .vscode/settings.json.default
index d3943a0cf..1d907fb94 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json.default
@@ -1,4 +1,6 @@
 {
   "restructuredtext.confPath": "${workspaceFolder}/docs",
-  "editor.rulers": [88]
+  "editor.rulers": [
+    88
+  ],
 }