diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-06-26 19:09:01 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-06-26 19:09:01 +0200 |
commit | 4b09580f9b545f1b7dec71f008461520c8b10103 (patch) | |
tree | be6304cd404d3114ea86bbcc91568ad05e8e14fd /src/synth/netlists-gates.ads | |
parent | 6ae18fae5b91fe4d8fb955aa07d35122d6606977 (diff) | |
download | ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.gz ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.bz2 ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.zip |
python: refine the result of set_option.
Diffstat (limited to 'src/synth/netlists-gates.ads')
0 files changed, 0 insertions, 0 deletions