From 21349ec40455900bbbb7cd2dac579abccb877410 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Sat, 15 Jul 2017 16:22:14 +0200
Subject: [PATCH] ignore vscode user settings from git status

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index aff65bfd89..63e57bd2a5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,8 @@ cachegrind.out*
 *.kdev4
 # Codelite (among others) project files
 *.project
+# Visual Studio Code user settings
+.vscode/
 # ctags index files
 tags
 # GDB initialization scripts