diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-12-16 15:39:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 15:39:48 +0100 |
| commit | c33e84fe8cd37d540efd14154c065de4de944734 (patch) | |
| tree | 846e0f8df5f67e44273b46ccf15e60377ee5efb2 /thirdparty/volk/volk.h | |
| parent | 61c8ea7b14143785836531e99d0eaef8d2eca704 (diff) | |
| parent | a1ab50a9f050bbd0ef5af4c799743e7aea46c48f (diff) | |
Merge pull request #55165 from Calinou/doc-gui-theme-item-focus-transparent
Diffstat (limited to 'thirdparty/volk/volk.h')
0 files changed, 0 insertions, 0 deletions