mirror of
https://github.com/fish-shell/fish-shell
synced 2024-12-27 05:13:10 +00:00
00e32a0909
Instead of just using Courier New across the board, have the browser try several likely available fonts before defaulting to the system's "monospace". Thanks @MarkGriffiths Fixes #2924 |
||
---|---|---|
.. | ||
web_config | ||
create_manpage_completions.py | ||
deroff.py |