diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2016-07-03 16:33:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-03 16:33:05 +0200 |
| commit | 20c32c5363f53fd009ed31e0c4b3ef4222b9fda7 (patch) | |
| tree | 299256d8593a329d91337630cf5b56fd7c490162 /NEWS | |
| parent | 68857607804f4c279236f62c3ba7382ea1e146d1 (diff) | |
| parent | d90405c081889bc38f274757b2abc9a7a8aeff4b (diff) | |
| download | ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.tar.gz ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.tar.bz2 ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.zip | |
Merge pull request #113 from Jonsba/jonsba/master
Add a description for the unbuffered option in ghdl -r <exec> --help.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions