diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-04 21:21:28 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
commit | a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a (patch) | |
tree | b7d9431847abfd18a807d72b00e2d2e60a50c097 /src | |
parent | c006aa8dedeba836b8e9a9138230f8762b1450d0 (diff) | |
download | ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.tar.gz ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.tar.bz2 ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.zip |
Try without explicit extension so Sphinx takes either png or svg.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions