mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-04-02 10:05:16 +08:00

This led to pydoctheme.css being included *twice*, which led to everything it included being included twice, which was annoying in firefox when playing with the styles. I don't *think* it had any performance impact?