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>