Index of /config/shell

	Name	Last modified	Size	Description
	Parent Directory		-
	bashrc	2026-04-17 10:31	3.2K
	bash_aliases	2026-04-17 10:31	1.8K
	bash_profile	2026-04-17 10:31	1.1K
	opam	2026-04-17 10:31	374