Nicole Tietz-Sokolskaya 74b59d4bb0 Add shorter		2023-08-27 21:52:04 -04:00
..
.bashrc	Add shorter	2023-08-27 21:52:04 -04:00
.profile	Add Idris, remove Lean	2022-11-09 15:01:15 -05:00