Nicole Tietz-Sokolskaya 47f0bfd1fe Update prompt command to save history lines on each invocation		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