diff options
| author | eine <eine@users.noreply.github.com> | 2020-10-08 08:08:16 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-10-08 08:08:16 +0200 |
| commit | 13f28101738e6cf0cc9f6f0f273b1499faf73021 (patch) | |
| tree | 19c0376d386096eab05788f1829d79e55f559031 /dist/gcc | |
| parent | 1b23af06d9806867887aebad36b71c26e10584c1 (diff) | |
| download | ghdl-13f28101738e6cf0cc9f6f0f273b1499faf73021.tar.gz ghdl-13f28101738e6cf0cc9f6f0f273b1499faf73021.tar.bz2 ghdl-13f28101738e6cf0cc9f6f0f273b1499faf73021.zip | |
doc: reword '--time-resolution'
Diffstat (limited to 'dist/gcc')
0 files changed, 0 insertions, 0 deletions