diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-15 09:06:00 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-15 09:06:02 +0100 |
| commit | 4fa8987494c213bf85fbadaf394d844874544990 (patch) | |
| tree | 3dcaca1a32a9ca203d13989b80e1fe8bbcce949e /doc | |
| parent | 79f48cde3d9c47e64cca6090c3db0bff1c9e557f (diff) | |
Windows: Fix case of imm32 for case-sensitive MinGW build
Fixes #16713.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions