mirror of
https://github.com/nix-community/nixvim.git
synced 2026-10-13 09:13:10 -04:00
* plugins/coq: Switch to mkNeovimPlugin This allows the user to define additional options unpackaged by nixvim. No new options were defined, nor any old option was deleted. Fixes #1114