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 /doc/conf.py | |
| parent | bfa1576196ce238c6015bad67aef925a95ecfc53 (diff) | |
| download | ghdl-e9af7ee91e07dcaf12975298172c01699f5c1329.tar.gz ghdl-e9af7ee91e07dcaf12975298172c01699f5c1329.tar.bz2 ghdl-e9af7ee91e07dcaf12975298172c01699f5c1329.zip | |
doc: document option '--time-resolution'
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions