mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-12-01 23:24:21 +08:00
7260e1f828
Fixes #9975
(cherry picked from commit
|
||
---|---|---|
.. | ||
web_config | ||
create_manpage_completions.py | ||
deroff.py |