rename_profile


Description:

public void rename_profile (string original_profile_name, string new_profile_name)