Admin/Windows/launch4j/manifest.xml
author haftmann
Sat, 06 Mar 2021 18:42:10 +0000
changeset 73392 24f0df084aad
parent 60994 b1e324a0677c
permissions -rw-r--r--
reduced dependencies on theory List_Permutation

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0" xmlns:asmv3="urn:schemas-microsoft-com:asm.v3" >
 <asmv3:application>
   <asmv3:windowsSettings xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings">
    <dpiAware>true</dpiAware>
   </asmv3:windowsSettings>
 </asmv3:application>
</assembly>