mirror of
https://github.com/fish-shell/fish-shell
synced 2024-12-29 14:23:09 +00:00
e27456df24
For some reason classic.css gives these a special font. Let's just pick the body font again. |
||
---|---|---|
.. | ||
fish.png | ||
pydoctheme.css | ||
pygments.css | ||
searchtools.js |