dotfiles

Author	SHA1	Message	Date
Daniel Kempkens	803c5da18d	nvim: Switch from cmp to coq, dropping many other plugins All checks were successful Build / build-arm64-linux (push) Successful in 9m31s Details Build / build-amd64-linux (push) Successful in 12m12s Details	2023-10-03 22:31:16 +02:00