diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2018-08-02 08:27:04 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-02 08:27:04 -0700 |
commit | 114c230624c1d78fd606f09c629d351166a43574 (patch) | |
tree | 7c994b30fae9539fb51216dce6fb0a03b0f1588a /python | |
parent | e46209e734427d6b7ed7b05930c1e4a666de7082 (diff) | |
parent | 85e9aa34266b2b141ee9b8d635bc976c4f3b0490 (diff) | |
download | nextpnr-114c230624c1d78fd606f09c629d351166a43574.tar.gz nextpnr-114c230624c1d78fd606f09c629d351166a43574.tar.bz2 nextpnr-114c230624c1d78fd606f09c629d351166a43574.zip |
Merge pull request #13 from YosysHQ/fix-windows-ctrl-c
Handle CTRL-C for windows build
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions