plugins/instant: switch to mkPlugin

This commit is contained in:
Gaetan Lepage 2024-01-08 15:41:27 +01:00 committed by Gaétan Lepage
parent 1a7a726a98
commit c29a33d38a
2 changed files with 75 additions and 102 deletions

View file

@ -22,7 +22,6 @@
nameHlGroupUser3 = "CursorLineNr";
nameHlGroupUser4 = "CursorLineNr";
nameHlGroupDefault = "CursorLineNr";
extraOptions = {};
};
};
}