diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:17:09 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-24 11:17:09 -0700 |
| commit | 4bfe6ebea929fb221853f775570ec5c7ccc5fac4 (patch) | |
| tree | b126882b8bbd309ec8239ecf2019978dbf99c3eb /.github | |
| parent | bf021a0e1f0883c017242d4a2057d2acf239330b (diff) | |
| download | yosys-4bfe6ebea929fb221853f775570ec5c7ccc5fac4.tar.gz yosys-4bfe6ebea929fb221853f775570ec5c7ccc5fac4.tar.bz2 yosys-4bfe6ebea929fb221853f775570ec5c7ccc5fac4.zip | |
bugpoint: skip ports with (* keep *) on; add header
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions