all: update plugins

benknoble · Aug 31, 2024 · 0d7b565 · 0d7b565
1 parent cce5fe3
commit 0d7b565
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/links/vim/pack/languages/opt/coqtail b/links/vim/pack/languages/opt/coqtail
diff --git a/links/vim/pack/utility/start/ale b/links/vim/pack/utility/start/ale
diff --git a/links/vim/pack/utility/start/splitjoin b/links/vim/pack/utility/start/splitjoin