Merge pull request #421 from NathanJPhillips/git-ignore-ide-files

Daniel Kroening · web-flow · commit 4554f9dff766 · 2017-01-11T15:02:02.000Z
Ignore IDE generated files
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,6 @@
+# Local files generated by IDEs
+.vscode/*
+
 # compilation files
 *.lo
 *.od
