Nicole Tietz-Sokolskaya 779b3ec1ed Do some vim tweaks		2023-09-15 12:19:16 -04:00
..
.bashrc	Do some vim tweaks	2023-09-15 12:19:16 -04:00
.profile	Add Idris, remove Lean	2022-11-09 15:01:15 -05:00