mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-25 18:03:37 +08:00
7260e1f828
Fixes #9975
(cherry picked from commit
|
||
---|---|---|
.. | ||
web_config | ||
create_manpage_completions.py | ||
deroff.py |