Nick Cao 3b0d74bccc maintainers: add panda2134

2023-03-26 20:52:42 +08:00

..

scripts

maintainers/scripts/convert-to-import-cargo-lock: fetch submodules

2023-03-26 00:02:16 +01:00

maintainer-list.nix

maintainers: add panda2134

2023-03-26 20:52:42 +08:00

team-list.nix

maintainers: add Alizter to Coq team

2023-03-13 00:41:41 +01:00