projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e2c9580 1d88bea)
Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 18 Jun 2021 10:07:50 +0000 (12:07 +0200)
committerGitHub <noreply@github.com>
Fri, 18 Jun 2021 10:07:50 +0000 (12:07 +0200)
pyosys: Clear SIGINT handler after Python loads


Trivial merge