mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-22 08:53:28 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
1330 commits 8 branches 0 tags 14 MiB
Commit graph

1 commit

Author SHA1 Message Date
traxys
6484938d4b
plugins/coq: Switch to mkNeovimPlugin (#1256) 
* 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
 2024-03-13 17:04:45 +01:00