diff options
| author | Jannis Harder <me@jix.one> | 2022-12-08 20:00:01 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-12-08 20:00:01 +0100 |
| commit | 172a8e79f0b818a3d7f6634f3149439b34c28b4e (patch) | |
| tree | 1e82ecc20691663a8d53f0747e24e8ae15a30eb9 /.github | |
| parent | aeba966475c1430ff9e0296d47e755a5f6a38a8f (diff) | |
| download | yosys-172a8e79f0b818a3d7f6634f3149439b34c28b4e.tar.gz yosys-172a8e79f0b818a3d7f6634f3149439b34c28b4e.tar.bz2 yosys-172a8e79f0b818a3d7f6634f3149439b34c28b4e.zip | |
xprop: Add -split-public option
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions