Closed cartalla closed 2 months ago
These override batch file settings and are only overridden by command line arguments so this isn't a good place to set defaults.
Resolves #223
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
These override batch file settings and are only overridden by command line arguments so this isn't a good place to set defaults.
Resolves #223
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.