diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-08 12:05:45 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-10-25 16:08:37 +0200 |
| commit | 4bc4fae07384b547fc64e60d3e4dd8e6ed35196a (patch) | |
| tree | dd4229fb58fd7a3defe1d310e441650a8eced40a /src/ci/scripts | |
| parent | 102dc3ddc1f6e671c48358b2c685ae724bcf7844 (diff) | |
| download | rust-4bc4fae07384b547fc64e60d3e4dd8e6ed35196a.tar.gz rust-4bc4fae07384b547fc64e60d3e4dd8e6ed35196a.zip | |
ci: cleanup platform detection
Diffstat (limited to 'src/ci/scripts')
0 files changed, 0 insertions, 0 deletions