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 /docs | |
| 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 'docs')
| -rw-r--r-- | docs/mirandaboot.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/mirandaboot.ini b/docs/mirandaboot.ini index 66de093c4e..8b4b328282 100644 --- a/docs/mirandaboot.ini +++ b/docs/mirandaboot.ini @@ -19,7 +19,7 @@ ProfileDir= ;"never": Only show it if the profile to use can't be guessed by any means
;"yes": Always show it
;"smart": (default) Show it if the command line doesn't contain a db name
-; that exists or there is more or less than 1 db in the ProfileDir
+; that exists and there is more or less than 1 db in the ProfileDir
ShowProfileMgr=smart
;DefaultProfile
|