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