mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 09:48:42 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

lib/options: rename mkPackageOption to mkPluginPackageOption

Browse source
This commit is contained in:
Gaetan Lepage 2024-05-17 14:09:20 +02:00 • committed by Gaétan Lepage
parent 40598fc1bd
commit 26367692da
110 changed files with 111 additions and 111 deletions
Download patch file Download diff file Expand all files Collapse all files

2
plugins/languages/lean.nix
View file

@ -13,7 +13,7 @@ in
options.plugins.lean = helpers.neovim-plugin.extraOptionsOptions // {
enable = mkEnableOption "lean-nvim";
package = helpers.mkPackageOption "lean-nvim" pkgs.vimPlugins.lean-nvim;
package = helpers.mkPluginPackageOption "lean-nvim" pkgs.vimPlugins.lean-nvim;
leanPackage = mkOption {
type = with types; nullOr package;