diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-05-25 18:49:59 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-05-25 18:49:59 +0200 |
| commit | dc90bedd6d86df9a9ef74bcdd51c7c3400669f29 (patch) | |
| tree | 6e258692562a5bd533fd4d9504dd29d1a32927de /src/grt/grt-options.adb | |
| parent | 4e5ab2e5158662813ab3dfed096edfbed3716a62 (diff) | |
| download | ghdl-dc90bedd6d86df9a9ef74bcdd51c7c3400669f29.tar.gz ghdl-dc90bedd6d86df9a9ef74bcdd51c7c3400669f29.tar.bz2 ghdl-dc90bedd6d86df9a9ef74bcdd51c7c3400669f29.zip | |
doc: move -C/--syn-binding doc to InvokingGHDL.
Diffstat (limited to 'src/grt/grt-options.adb')
0 files changed, 0 insertions, 0 deletions