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 /drivers/winmidi | |
| parent | 2805f7b36d2c09de6407355bf4569e4e5eb1dcb1 (diff) | |
[ci/windows] remove obsolete 'tools' in the name
(cherry picked from commit 2abadbb58b266ab4289159c97970234e0ae6d128)
Diffstat (limited to 'drivers/winmidi')
0 files changed, 0 insertions, 0 deletions