diff options
| author | Miguel Ojeda <ojeda@users.noreply.github.com> | 2020-10-04 20:46:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-04 20:46:02 +0200 |
| commit | c17d29003c09d52d5ab4d61b08d59ad26f07208b (patch) | |
| tree | 85bb38a198311cb4a7aec011397052624d565bce /.gitattributes | |
| parent | 58ffd762f26eb282e84aaa49a647d379c029b9f6 (diff) | |
| parent | 453d1aca43efda9b19137358fc09756042c0ac90 (diff) | |
Merge pull request #16 from Rust-for-Linux/github-ci
Add CI
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions