diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-23 11:14:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-23 11:14:12 +0200 |
| commit | 5c0879de20dc32769fc5546ed657eb413a318a53 (patch) | |
| tree | 8c34856e455f8d5e03f4daecc837679b29733172 /people | |
| parent | 3bede2470682643b09ff24e039944f591f20e6dc (diff) | |
| parent | 626be3722271f48b3d423be51d9a8c1ab65f4558 (diff) | |
Merge pull request #159 from rust-lang/docsrs-ops
create the docsrs-ops marker team
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions