github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-02-10 21:46:13 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
a996c8c7dd
fish-shell/doc_src/python_docs_theme/static
History
Fabian Boehm 9bcb4dcf70 docs: Remove some needless margins for nested lists 
This double-indented a nested list *and* added some gaps at the
bottom.

Other lists are unaffected
2023-06-28 16:32:55 +02:00
..
fish.png run fish.png through imageoptim 2021-10-16 14:33:12 -07:00
pydoctheme.css docs: Remove some needless margins for nested lists 2023-06-28 16:32:55 +02:00
pygments.css Doc theme: Use code font for in-line commands as well 2022-02-24 18:12:22 +01:00