From 23a6d00e62f6b393ada97fcbb349ad5617f14f26 Mon Sep 17 00:00:00 2001
From: Jim Tupper <github@tupper.org.uk>
Date: Tue, 9 Oct 2018 22:27:24 +0100
Subject: [PATCH] Removing vscode settings file

---
 .vscode/settings.json | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .vscode/settings.json

diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 7b377f0..0000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,10 +0,0 @@
-{
-  "files.associations": {
-    "istream": "cpp",
-    "optional": "cpp",
-    "ostream": "cpp",
-    "ratio": "cpp",
-    "system_error": "cpp",
-    "type_traits": "cpp"
-  }
-}
\ No newline at end of file