diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-03 12:41:15 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-03 12:41:15 +0200 |
commit | 18fb2aca04e9c0f4bc241592885fbb98f3cc8f6c (patch) | |
tree | 9ba12edc8e58b2bba8fcccecdbca78afb9ea0a64 /people | |
parent | 31a32fefeea7e03f196c8d3364448948c50d2cf0 (diff) |
teams/wg-rustfmt: synchronize with GitHub
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions