mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-06 10:05:28 +08:00

It was only introduced in 2.16, which was released in January 2018. Instead, we just use a bare "--ignored", which is equivalent to "--ignored=traditional". The difference to "--ignored=matching" mode shouldn't matter to us here. Fixes #5074.