From 19375a775242dd21801a8e697062cc5692548c57 Mon Sep 17 00:00:00 2001
From: Martin Brodbeck <martin@brodbeck-online.de>
Date: Fri, 20 Jul 2018 22:07:10 +0200
Subject: [PATCH] ...

---
 .vscode/settings.json | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index adec651..cd0c2ad 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -60,8 +60,12 @@
         "typeinfo": "cpp",
         "utility": "cpp",
         "variant": "cpp",
-        "algorithm": "cpp"
+        "algorithm": "cpp",
+        "cinttypes": "cpp",
+        "condition_variable": "cpp",
+        "mutex": "cpp"
     },
     "C_Cpp.clang_format_path": "/usr/bin/clang-format",
-    "cmake.configureOnOpen": true
+    "cmake.configureOnOpen": true,
+    "C_Cpp.configurationWarnings": "Disabled"
 }
\ No newline at end of file