bashrc 84a69fa2e5 Increase font size		2026-05-15 14:41:09 +01:00
..
helpimages	…
icons	Page up and down icons	2026-05-13 21:25:22 +01:00
banner.png	…
banner.txt	…
image.png	…
login.png	…
logo.txt	…
name.txt	…
right_col_image.png	Right column image	2026-05-12 15:57:06 +01:00
search_banner.png	…
theme.json	Increase font size	2026-05-15 14:41:09 +01:00