diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-10 08:50:45 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-10 08:50:45 +0200 |
commit | bb75c67563d6dc8920507909779f394d6760dd81 (patch) | |
tree | a0b4e086a7471ccfccef6ba30bfcfaccda99884f /doc/conf.py | |
parent | caa5bf5c2a32e31f07209490a8933cfa186e9511 (diff) | |
download | ghdl-bb75c67563d6dc8920507909779f394d6760dd81.tar.gz ghdl-bb75c67563d6dc8920507909779f394d6760dd81.tar.bz2 ghdl-bb75c67563d6dc8920507909779f394d6760dd81.zip |
grt: separate exec and all link options. For #640
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions