Translations:Mirandaboot.ini/18/en
If $DefaultProfile setting or the command line parameter gives a profile name that doesn't exist then that profile is created.
If $DefaultProfile setting or the command line parameter gives a profile name that doesn't exist then that profile is created.