3 commits

Author	SHA1	Message	Date
Austin Horstman	c75e4ea37f	plugins/lean: migrate to mkNeovimPlugin	2025-01-31 23:39:31 +00:00
Gaetan Lepage	67de84848e	tests/lean: disable lean tests on x86_64-darwin ... https://github.com/NixOS/nixpkgs/pull/371275	2025-01-09 14:51:01 +01:00
Austin Horstman	b1d0959bc9	plugins/languages: move to by-name	2024-09-09 14:34:18 -05:00