diff options
| author | Robbie Cooper <cooperra@users.noreply.github.com> | 2020-10-25 03:05:21 -0400 |
|---|---|---|
| committer | Robbie Cooper <cooperra@users.noreply.github.com> | 2020-10-25 03:05:21 -0400 |
| commit | 85e99460b41d1b727b3ef4049ea3a5bac1e507d4 (patch) | |
| tree | f4820d5574ed4d8ef3101d978dc7a5ca30fcdf91 /drivers/winmidi | |
| parent | 6c173e2f7ffdb972ec3754b3d78fe51bfbfb4f22 (diff) | |
Fix file panel renaming unable to change the case of dirs on Windows
Tested on Windows 10.
Diffstat (limited to 'drivers/winmidi')
0 files changed, 0 insertions, 0 deletions