dotfiles/.gitignore
Julin S 39c4c3b609 make function for nvim coqtail output
- Enclose shortcut commands in function for nvim-coqtail
 - Add ghci/.ghci
 - Add gitignore
2021-09-10 16:15:17 +05:30

2 lines
9 B
Plaintext