Added: possibility to set ini file in command line.
Authored by: instructor_ 2023-06-08
Parent: [r4421]
Child: [r4423]