Index of /config/shell

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