diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-09 09:22:08 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-09 09:22:08 +0100 |
| commit | 2db593ac2fc3aa8c8fd36c72e35a9f8a592668f1 (patch) | |
| tree | b6a00885143c525bef59ee690e8e46c74a688273 /thirdparty/volk | |
| parent | 6a86dfad29d5475aa6be4510b0823e834a8e85ed (diff) | |
| parent | 5c498f714dafc3bcbb7601c5665b518513b353cb (diff) | |
Merge pull request #70580 from timothyqiu/drop-extern
Fix error when dropping script into script editor
Diffstat (limited to 'thirdparty/volk')
0 files changed, 0 insertions, 0 deletions