helpers/vim-plugin/mkVimPlugin: remove useless 'options' argument

This commit is contained in:
Gaetan Lepage 2024-03-24 11:35:42 +01:00 committed by Gaétan Lepage
parent 2b2e9f962a
commit 4d471f04a5
4 changed files with 1 additions and 7 deletions

View file

@ -22,7 +22,6 @@ with lib; {
# options
originalName ? name,
defaultPackage ? null,
options ? {},
settingsOptions ? {},
settingsExample ? null,
globalPrefix ? "",