cadkin c9a5dacbb2 maintainers: add cadkin		2023-04-30 14:02:23 -04:00
..
scripts	maintainers/scripts/convert-to-import-cargo-lock: fetch submodules	2023-03-26 00:02:16 +01:00
maintainer-list.nix	maintainers: add cadkin	2023-04-30 14:02:23 -04:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00