diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-03 21:18:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-03 21:18:58 +0100 |
commit | ae14113969848239f8caebafd68df365c8b4d536 (patch) | |
tree | c1dcc368d2afcb8096847715d2f1c2d058f16f10 /scripts/install-multi-user.sh | |
parent | f1c9ee03640b6601fa66bf0d8d567b51fdc343c5 (diff) | |
parent | 3f070cc417ab71cf8b20d5a9db62ff515d209846 (diff) |
Merge pull request #5477 from league/check-overlay-args
In checkOverlay, accept underscored names for final/prev args.
Diffstat (limited to 'scripts/install-multi-user.sh')
0 files changed, 0 insertions, 0 deletions