nicole
/
config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
config/git
History
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