diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2015-09-17 03:14:27 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2015-09-17 03:14:27 -0600 |
| commit | 28a20e6eba2919e008f70874b4c12a3ce7ad049c (patch) | |
| tree | 58050f22ea944eb07620195303d757424f50b2a9 /Binaries | |
| parent | bb5395b35dcea5078c9b38a2f091f26256faac34 (diff) | |
Added initial support for float addition
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/Boogie.vshost.exe.manifest | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/Binaries/Boogie.vshost.exe.manifest b/Binaries/Boogie.vshost.exe.manifest index 061c9ca9..f96b1d6b 100644 --- a/Binaries/Boogie.vshost.exe.manifest +++ b/Binaries/Boogie.vshost.exe.manifest @@ -1,11 +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> +<?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>
|