Aryadev Chavali d46304378c Small changes

2025-11-04 16:41:57 +00:00

..

.utoprc

(Shell)+opam env call for zshrc, +utoprc

2022-02-08 22:52:07 +00:00

.zprofile

Small changes

2025-11-04 16:41:57 +00:00

.zshrc

Small changes

2025-11-04 16:41:57 +00:00