sanchayanmaity/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

nvim: plugins: Drop Coqtail

Browse source 
We are not gonna be pursuing studying Coq for quite a long while and
dropping this should allow us to drop Python provider, so drop this.
This commit is contained in:
Sanchayan Maity 2022-01-18 20:08:52 +05:30
parent 873f3643aa
commit 6e86a6a777
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nvim/.config/nvim/lua/plugins.lua
View file

@ -73,8 +73,6 @@ local init = function ()
-- Language support & syntax highlighting -- Language support & syntax highlighting
use 'mfussenegger/nvim-lint' use 'mfussenegger/nvim-lint'
use 'simrat39/rust-tools.nvim' use 'simrat39/rust-tools.nvim'
-- Coq
use 'whonore/Coqtail'
-- treesitter based syntax highlighting -- treesitter based syntax highlighting
use { use {
'nvim-treesitter/nvim-treesitter', 'nvim-treesitter/nvim-treesitter',