diff options
| author | gatecat <gatecat@ds0.me> | 2021-09-22 22:01:58 +0100 |
|---|---|---|
| committer | gatecat <gatecat@ds0.me> | 2021-09-22 22:01:58 +0100 |
| commit | 562d02196c5df8e5173af00950be313eea2e938b (patch) | |
| tree | 8b2b16c08e725a7469c5c07f7f100f2785c76918 /docs | |
| parent | 41c07126ec0934918ab1bb44ad2dfe676024fadf (diff) | |
| download | nextpnr-562d02196c5df8e5173af00950be313eea2e938b.tar.gz nextpnr-562d02196c5df8e5173af00950be313eea2e938b.tar.bz2 nextpnr-562d02196c5df8e5173af00950be313eea2e938b.zip | |
python: Restore SIGINT handler while running a Python script
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions