diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-03-22 22:37:10 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-03-23 18:46:14 +0100 |
| commit | 9f7967947a41f00fd50645d150871ae1d07ac79d (patch) | |
| tree | dfb569f4fa6986acb9d51116370da6e32b44d642 /scripts | |
| parent | 420a1d3efb96b69a32afae1fefe0228700cdb14f (diff) | |
| download | ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.tar.gz ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.tar.bz2 ghdl-9f7967947a41f00fd50645d150871ae1d07ac79d.zip | |
doc: Add --psl-report-uncovered documentation option.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions