Update VSCode configuration.

2018-12-01 11:46:15 +01:00
parent ab200e42bb
commit 01e02ffa9b
1 changed files with 4 additions and 4 deletions
--- a/.vscode/c_cpp_properties.json
+++ b/.vscode/c_cpp_properties.json
@@ -69,5 +69,5 @@
            ]
        }
    ],
-    "version": 3
+    "version": 4
 }