diff options
author | Christopher League <league@contrapunctus.net> | 2021-11-03 09:25:27 -0400 |
---|---|---|
committer | Christopher League <league@contrapunctus.net> | 2021-11-03 09:25:27 -0400 |
commit | 3f070cc417ab71cf8b20d5a9db62ff515d209846 (patch) | |
tree | 56fc8c5fd5702b55f40ad511b6cc78b4aeb3a0a3 /scripts/install-multi-user.sh | |
parent | 133905b309992b2ab0dbec2d2bdc4bcc9672c6b9 (diff) |
In checkOverlay, accept underscored names for final/prev args.
Resolves #4416.
Diffstat (limited to 'scripts/install-multi-user.sh')
0 files changed, 0 insertions, 0 deletions