Skip Menu |
 

History Show all quoted text — Show full headers
# Fri Sep 28 17:28:29 2012 kaduk@MIT.EDU (Benjamin Kaduk) - Ticket created
Subject: use wix builtin instead of shell to rename krb5.ini
Download (untitled) / with headers
text/plain 142B
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.