Nicole Tietz-Sokolskaya 34f08c1c85 Add Coq support and a few other config changes		2022-11-02 07:21:38 -04:00
..
.gitconfig	Add Coq support and a few other config changes	2022-11-02 07:21:38 -04:00
.gitignore_global	Add gitignore, improve nvim sesarching, fix a line in tmux with latest tmux	2020-12-14 08:56:18 -05:00