Merge pull request #121 from YosysHQ/windows_fix
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 22 Mar 2021 15:51:11 +0000 (16:51 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Mar 2021 15:51:11 +0000 (16:51 +0100)
commit4db5d70c349a74c7febccb82671dcd75497b6c6c
treeeee00b315a1f316b4153b4f859eeb4e754c3431b
parent1ffef12cf1305da36c96b3f3cb20fdfacac820d2
parentecf7b8f1b01ac0c9b22716146d259052762405eb
Merge pull request #121 from YosysHQ/windows_fix

Windows specific fixes