mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-05-20 18:41:16 -03:00
They are used by "fish_config" CLI too, so no need to make them private to webconfig. Putting them at top-level seems simpler overall.
They are used by "fish_config" CLI too, so no need to make them private to webconfig. Putting them at top-level seems simpler overall.