config/bash
2023-07-15 21:47:35 -04:00
..
.bashrc Update prompt command to save history lines on each invocation 2023-07-15 21:47:35 -04:00
.profile Add Idris, remove Lean 2022-11-09 15:01:15 -05:00