diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-04 23:06:29 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
commit | f885f0794e77e0a6e8e0bd884dd4ec57890a5ddf (patch) | |
tree | 70e4430e3b7769b194992dd46bc90d275a8e5b4c /doc/gnatdoc/index.rst | |
parent | 22f1fbdd25b7927dc1aa235ee047cc698590f026 (diff) | |
download | ghdl-f885f0794e77e0a6e8e0bd884dd4ec57890a5ddf.tar.gz ghdl-f885f0794e77e0a6e8e0bd884dd4ec57890a5ddf.tar.bz2 ghdl-f885f0794e77e0a6e8e0bd884dd4ec57890a5ddf.zip |
Extract CLI parameters from ghdl-ls.
Diffstat (limited to 'doc/gnatdoc/index.rst')
0 files changed, 0 insertions, 0 deletions