mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-04-19 23:21:15 -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.