mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-22 12:04:39 +08:00
e2157d09df
This allows it to be distinguished not just based on the font. Not adding a border because that's a bit much. |
||
---|---|---|
.. | ||
static | ||
__init__.py | ||
globaltoc.html | ||
layout.html | ||
localtoc.html | ||
theme.conf |