Aryadev Chavali 958974dc29 Minor adjustments

2026-01-24 00:44:05 +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

Minor adjustments

2026-01-24 00:44:05 +00:00