diff options
| author | ruki <[email protected]> | 2020-10-28 00:48:21 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-10-28 00:48:21 +0800 |
| commit | 3b74bb00d24587b4768ac10c9ef4222f01ae9225 (patch) | |
| tree | 22db6049cedbe4ba8b63f1fb190b5443c93203ec /scripts | |
| parent | 0a70179e27508b0850f5b6413268ff8bade15342 (diff) | |
add toolchain for xrepo
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions