Pascal J. Bourguignon <pjb@[EMAIL PROTECTED] > wrote: > You can change it with /Developer/Tools/SetFile Thanks. Victor. -- Victor Eijkhout -- eijkhout at tacc utexas edu