diff options
| author | Stephen L Arnold <nerdboy@gentoo.org> | 2022-03-27 12:45:13 -0700 |
|---|---|---|
| committer | Stephen L Arnold <nerdboy@gentoo.org> | 2022-03-27 12:45:13 -0700 |
| commit | 4f2cd590bce70fd5b52b5c92819a54d9294571d3 (patch) | |
| tree | c248d459189983c7f8b1f81d3b1a2d30fd6411e7 /src/aig/gia/giaDfs.c | |
| parent | ee228339e5e14b7a3651454814e91b80c3cb4b1e (diff) | |
| download | abc-4f2cd590bce70fd5b52b5c92819a54d9294571d3.tar.gz abc-4f2cd590bce70fd5b52b5c92819a54d9294571d3.tar.bz2 abc-4f2cd590bce70fd5b52b5c92819a54d9294571d3.zip | |
fix windows CI => project file integration broken on windows-latest
* use windows-2019 until updated project files are usable on 2022
Signed-off-by: Stephen L Arnold <nerdboy@gentoo.org>
Diffstat (limited to 'src/aig/gia/giaDfs.c')
0 files changed, 0 insertions, 0 deletions