mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-06-30 07:01:22 -03:00
Looks better in the html - see #6752. Also this converts the "ctrl-something" instances I could find to proper markup. [ci skip]
Looks better in the html - see #6752. Also this converts the "ctrl-something" instances I could find to proper markup. [ci skip]