diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-05-14 19:07:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-14 19:07:49 +0200 |
| commit | 34bc42162656011ecb7092cf3c762eb35ec99e23 (patch) | |
| tree | 16fe8c9b7ee60c66b0316acd71a2d38112027baf /common | |
| parent | 2692c6f6cce41d22847058c85715e8822feb9b87 (diff) | |
| parent | 7b84ed94b5a780e912b4e0af32cabe6bfdf2d6ae (diff) | |
| download | nextpnr-34bc42162656011ecb7092cf3c762eb35ec99e23.tar.gz nextpnr-34bc42162656011ecb7092cf3c762eb35ec99e23.tar.bz2 nextpnr-34bc42162656011ecb7092cf3c762eb35ec99e23.zip | |
Merge pull request #439 from edbordin/master
Minor patch for MinGW build
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions