diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-11 08:07:17 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-11 08:07:17 +0200 |
| commit | 7a211109152e82843a59ba70b0a080ce91b9b495 (patch) | |
| tree | 8c435bab85197544202b320408623e3b6316f1e6 /.github | |
| parent | 4231913909ebc0dfd8edcfa979ef6791b0a5675a (diff) | |
| download | ghdl-7a211109152e82843a59ba70b0a080ce91b9b495.tar.gz ghdl-7a211109152e82843a59ba70b0a080ce91b9b495.tar.bz2 ghdl-7a211109152e82843a59ba70b0a080ce91b9b495.zip | |
grt: handle argc=0 in ghdl_main. Fix #1206
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions