mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-05 07:22:59 +08:00

This screams about duplicate labels even *if this part isn't built!* So we use another document that we ignore in other builders. Blergh