Translations:Mirandaboot.ini/18/en
Jump to navigation
Jump to search
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.