diff options
| author | ruki <[email protected]> | 2020-10-17 00:37:54 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-10-17 00:37:54 +0800 |
| commit | dae7f831925340293a418056703d0f5ed1abb97d (patch) | |
| tree | 59152adf146485ee1feecb75e1286c2f32bb9f29 /scripts | |
| parent | d482b1f6dc82ed80161600f2697ca33183dd02a2 (diff) | |
improve openmp
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions