config/bash
2023-08-27 21:51:05 -04:00
..
.bashrc Add vim-new function to complement vim-resume 2023-08-27 21:51:05 -04:00
.profile Add Idris, remove Lean 2022-11-09 15:01:15 -05:00