diff options
| author | ruki <[email protected]> | 2019-06-26 14:53:59 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-06-26 14:53:59 +0800 |
| commit | 6b6fdf451392f5519ff8b8c99bb5df0692c18b36 (patch) | |
| tree | 426ef903970c80fe6b7fde9ef9e5ec9ed216243b /scripts | |
| parent | 526029f83af32f0b35fbbf5a1fdf3622827fec26 (diff) | |
add git submodule update in ci
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions