diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-05 02:03:42 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
commit | d62ac2d4973b6f6f34ab804c91ab8be5ddb2f86f (patch) | |
tree | 10bdb8aa1ea304fbc5cb241233d7f687c71ba39f /doc/getting | |
parent | 072bfb7557da49d84a5709656af93e464359a994 (diff) | |
download | ghdl-d62ac2d4973b6f6f34ab804c91ab8be5ddb2f86f.tar.gz ghdl-d62ac2d4973b6f6f34ab804c91ab8be5ddb2f86f.tar.bz2 ghdl-d62ac2d4973b6f6f34ab804c91ab8be5ddb2f86f.zip |
Fixed -P option.
Diffstat (limited to 'doc/getting')
0 files changed, 0 insertions, 0 deletions