diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2023-04-07 17:44:39 +0200 |
---|---|---|
committer | Yuri Sizov <yuris@humnom.net> | 2023-04-07 17:44:39 +0200 |
commit | a99b0464123db4b52b4ae747775afd78968f8160 (patch) | |
tree | 94b6db19367aeb75e209ffd079bcdc0b14d7d740 /thirdparty/fonts | |
parent | 2805f7b36d2c09de6407355bf4569e4e5eb1dcb1 (diff) |
[ci/windows] remove obsolete 'tools' in the name
(cherry picked from commit 2abadbb58b266ab4289159c97970234e0ae6d128)
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions