diff options
| author | ruki <[email protected]> | 2021-02-14 21:39:14 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2021-02-14 21:39:14 +0800 |
| commit | 5503ff4066cdf3a4c84859886c48c748a7493ef8 (patch) | |
| tree | 1804028a35b736f50347caea38482d6c1fc4203e /.github | |
| parent | 916228567b6892afe7486bef61b12e409670a208 (diff) | |
fix path for tools/cmake
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions