diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-04-12 10:29:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-12 10:29:56 +0200 |
| commit | 1421145c299fbfa272b58f3a82f0142793fab3b1 (patch) | |
| tree | 0acdca1b845c885ee7bd55209c850179ab9e5130 /logo.png | |
| parent | 948e23fcc54c0c0116c260fc86aae0ba583172dd (diff) | |
| download | ghdl-1421145c299fbfa272b58f3a82f0142793fab3b1.tar.gz ghdl-1421145c299fbfa272b58f3a82f0142793fab3b1.tar.bz2 ghdl-1421145c299fbfa272b58f3a82f0142793fab3b1.zip | |
grt: handle argc=0 and argv/=null in ghdl_main (#1206) (#1215)
Diffstat (limited to 'logo.png')
0 files changed, 0 insertions, 0 deletions