diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-03 21:19:49 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-10 12:07:32 +0100 |
| commit | e5a6e75ce81720fbac3f6eb14924d5248aed3088 (patch) | |
| tree | f2eaeaecb4b1ab24e95707b09bffdf2efbfc8df4 /src/main.rs | |
| parent | a6c88e3b7657cba0a27b068441d9d8e07509f924 (diff) | |
permissions: add support for bors permissions
Diffstat (limited to 'src/main.rs')
0 files changed, 0 insertions, 0 deletions