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