diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-17 15:09:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-17 15:09:40 +0200 |
commit | 86a17d6d956b976dcd628b079189b554abef5d9d (patch) | |
tree | 7a3bfb69d62441c2b3357f9f0000d6deb47b9798 /teams/rustdoc.toml | |
parent | 9b84e0b8ba156e706a1ed58c4a8def012e11bbc5 (diff) | |
parent | 3ee40cf89416a0d633ba8ba7cc672cdc3a2ccb75 (diff) |
Merge pull request #152 from Manishearth/dt-github
Fixup devtools team github perms
Diffstat (limited to 'teams/rustdoc.toml')
0 files changed, 0 insertions, 0 deletions