summaryrefslogtreecommitdiff
path: root/Binaries/Boogie.vshost.exe.manifest
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-29 17:40:45 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-29 17:40:45 -0400
commit77123528a64dd438a31a29f8f589904d71e668e9 (patch)
treec4c49a3a17e170f69f0785996987770f4cf1ad3b /Binaries/Boogie.vshost.exe.manifest
parent54b058e054efe8348f8fa3d99ed5992807e28d81 (diff)
parent1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 (diff)
Merge branch 'dfsg_free'
Diffstat (limited to 'Binaries/Boogie.vshost.exe.manifest')
-rw-r--r--Binaries/Boogie.vshost.exe.manifest11
1 files changed, 11 insertions, 0 deletions
diff --git a/Binaries/Boogie.vshost.exe.manifest b/Binaries/Boogie.vshost.exe.manifest
new file mode 100644
index 00000000..061c9ca9
--- /dev/null
+++ b/Binaries/Boogie.vshost.exe.manifest
@@ -0,0 +1,11 @@
+<?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>