diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-15 06:28:02 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:51 +0100 |
| commit | 458c028395b7cf22d150c1d2573c1ab559a238e2 (patch) | |
| tree | 6181f1334cdd1b18f5afaee83ce9f0be5ae86982 /configure | |
| parent | 49987875ae8862fb94f451129233880760ed8fe4 (diff) | |
| download | ghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.tar.gz ghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.tar.bz2 ghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.zip | |
doc: use long URL only in html, regenerate ghdl.texi
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions