diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-05-08 11:24:18 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-05-08 17:40:30 +0200 |
commit | bfa1576196ce238c6015bad67aef925a95ecfc53 (patch) | |
tree | 2016e05dd2b3dbe2653a3b3fdec44bebca228f76 /python | |
parent | 763e2444798682f39e1e43397b549629372b47d8 (diff) | |
download | ghdl-bfa1576196ce238c6015bad67aef925a95ecfc53.tar.gz ghdl-bfa1576196ce238c6015bad67aef925a95ecfc53.tar.bz2 ghdl-bfa1576196ce238c6015bad67aef925a95ecfc53.zip |
doc: document option '-o'
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions