diff options
| author | liv <mokou@fastmail.com> | 2023-06-12 11:50:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-12 11:50:10 +0200 |
| commit | 1ce9d93e94231d20d3cc0b4d4c4498a0a077e494 (patch) | |
| tree | 17e1ea33776c095d878d94cf0b8c028d362d8cbe /info.toml | |
| parent | dca6e869df2bb23b934e42757dbe61e2846c6688 (diff) | |
| parent | e0ea03dc567cd29c08012aa2da818c6f5599ab3b (diff) | |
Merge pull request #1552 from rust-lang/all-contributors/add-proofconstruction
docs: add proofconstruction as a contributor for infra
Diffstat (limited to 'info.toml')
0 files changed, 0 insertions, 0 deletions