Ilan Joselevich 13c264a4d0 Merge pull request #220906 from Alizter/ps/rr/maintainers__add_alizter ... maintainers: add Alizter		2023-03-13 01:58:49 +02:00
..
scripts	luaPackages: adding several neovim plugins	2023-03-06 09:58:53 +01:00
maintainer-list.nix	Merge pull request #220906 from Alizter/ps/rr/maintainers__add_alizter	2023-03-13 01:58:49 +02:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00