diff options
| author | ruki <[email protected]> | 2020-10-27 22:39:22 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-10-27 22:39:22 +0800 |
| commit | b862233ea3ab3497197c7c48d93dbd5af7660f29 (patch) | |
| tree | f927cc31711004c52fed6d137e0850d855adc2c4 /scripts | |
| parent | eeafece87f73eee741d28e9e9483f90d6f11488e (diff) | |
remove unknown platform check
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions