Skip Menu |
 

Subject: use wix builtin instead of shell to rename krb5.ini
We get rid of old krb5.ini files by renaming them; currently a custom shell script is used, but
there is a builtin for moving/renaming files.