From ddeb2bd8ab089cda08e27308f7c61b865bc177fc Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@cs.wisc.edu>
Date: Fri, 8 Jun 2018 10:41:18 -0500
Subject: [PATCH] Ignore a Visual Studio Code settings file

The settings I am seeing in here so far seem like per-developer
preferences, not shared per-project configuration information.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 69a3b6f13..d3a9be791 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@
 /*/.settings/org.eclipse.buildship.core.prefs
 /.gradle/
 /.settings/org.eclipse.buildship.core.prefs
+/.vscode/settings.json
 /build/
 com.ibm.wala.*/out/
 com.ibm.wala.cast.java.jdt.test/