diff options
| author | Egor Pugin <egor.pugin@gmail.com> | 2020-03-13 17:16:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-13 17:16:53 +0300 |
| commit | da05d277eed5a5714ab7a8c3afeda5df718c9bfd (patch) | |
| tree | ad78a777018427c40bb1f4e99c674b358142ca35 /tools | |
| parent | 6a17bc63805d7068c74dbc289b4e5d8d2a8c2e39 (diff) | |
[ci] Fix typo.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions