| author | wenzelm |
| Fri, 29 Jun 2018 22:50:35 +0200 | |
| changeset 68548 | a22540ac7052 |
| parent 53419 | 1c87e79bb838 |
| child 70249 | 4ce07be8ba17 |
| permissions | -rw-r--r-- |
;!@Install@!UTF-8! GUIFlags="64" InstallPath="%UserDesktop%" BeginPrompt="Unpack {ISABELLE_NAME}?" ExtractPathText="Target directory" ExtractTitle="Unpacking {ISABELLE_NAME} ..." Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}" RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\"" ;!@InstallEnd@!