diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-04-16 12:42:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-16 12:42:37 +0200 |
commit | 0e72d3d8f9a11e7f3a143b20d5439bb493903351 (patch) | |
tree | 472e71ba57663f8711149f40d8780f3fc75e64ea /thirdparty/basis_universal | |
parent | 200d9a734c18378abebee3ea7adac38782472587 (diff) | |
parent | 5a9037f828ce84a07c3e748e20b50b334b896991 (diff) |
Merge pull request #47686 from aaronfranke/script-name-warning
Diffstat (limited to 'thirdparty/basis_universal')
0 files changed, 0 insertions, 0 deletions