diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-28 22:19:30 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | 48cb17bc2a6fd8ee130e549f3b8d13bf20dedcef (patch) | |
tree | 59ed515303a32db26203d375b7c56f0b1f2c1a28 /src/vhdl | |
parent | e3047c70d11bcbe9998518733c2fcb61cb729ab5 (diff) | |
download | ghdl-48cb17bc2a6fd8ee130e549f3b8d13bf20dedcef.tar.gz ghdl-48cb17bc2a6fd8ee130e549f3b8d13bf20dedcef.tar.bz2 ghdl-48cb17bc2a6fd8ee130e549f3b8d13bf20dedcef.zip |
Describe commands as options. Fix internal refs to options. Apply
suggestions about ch 2. Add options given by the executable but not
documented earlier.
Diffstat (limited to 'src/vhdl')
0 files changed, 0 insertions, 0 deletions