diff options
| author | dartraiden <wowemuh@gmail.com> | 2022-03-28 22:12:33 +0300 |
|---|---|---|
| committer | dartraiden <wowemuh@gmail.com> | 2022-03-28 22:13:06 +0300 |
| commit | 252c0a9c6f373d2bd9d5212420aae2b29f811d3f (patch) | |
| tree | 13228e4ef9352b67ab8dd3f4631f86e537b1d311 /make_core_def.cmd | |
| parent | dd73f92c55cb026b52c8b04cb1dc50d621822a95 (diff) | |
OR implies the sufficiency of ANY condition, but in reality, if the first condition is met (no profile name passed via cmdline) and the second is not (one profile), the profile manager will not be shown, so we need AND here
Diffstat (limited to 'make_core_def.cmd')
0 files changed, 0 insertions, 0 deletions