From b89db83c83f96d5b82f2b70c4f4661e254efa66a Mon Sep 17 00:00:00 2001
From: Bernhard Kragl <bernhard.kragl@gmail.com>
Date: Wed, 7 Sep 2016 12:59:12 -0700
Subject: [PATCH] ignore vshost manifest and VS15 cache/options directory

---
 .gitignore                          |  2 ++
 Binaries/Boogie.vshost.exe.manifest | 11 -----------
 2 files changed, 2 insertions(+), 11 deletions(-)
 delete mode 100644 Binaries/Boogie.vshost.exe.manifest

diff --git a/.gitignore b/.gitignore
index 760d6d973..152b50ffa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@ Binaries/*.mdb
 Binaries/*.exe
 Binaries/*.pdb
 Binaries/*.config
+Binaries/*.vshost.exe.manifest
 
 # Editor temporary files
 .*.swp
@@ -29,3 +30,4 @@ Source/*/*.user
 Source/*.user
 Source/*.suo
 Source/*.cache
+Source/.vs/
diff --git a/Binaries/Boogie.vshost.exe.manifest b/Binaries/Boogie.vshost.exe.manifest
deleted file mode 100644
index 061c9ca95..000000000
--- a/Binaries/Boogie.vshost.exe.manifest
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
-  <assemblyIdentity version="1.0.0.0" name="MyApplication.app"/>
-  <trustInfo xmlns="urn:schemas-microsoft-com:asm.v2">
-    <security>
-      <requestedPrivileges xmlns="urn:schemas-microsoft-com:asm.v3">
-        <requestedExecutionLevel level="asInvoker" uiAccess="false"/>
-      </requestedPrivileges>
-    </security>
-  </trustInfo>
-</assembly>