牧瀬紅莉栖 3c4ae7bde9 maintainers: add MakiseKurisu		2023-03-15 22:29:40 +08:00
..
scripts	maintainers: add script and workflows to check sortedness	2023-03-15 11:07:54 +01:00
maintainer-list.nix	maintainers: add MakiseKurisu	2023-03-15 22:29:40 +08:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00