diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-04-22 16:39:56 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-22 18:53:03 +0200 |
| commit | e6f2e299607dd76fd0c9f1129a138a0517e7646c (patch) | |
| tree | 1be6dfd14c9480d65e242e30d0582404c3c6be49 /src | |
| parent | 8444c4d233aade37c218ef778bd1105dca693f48 (diff) | |
| download | ghdl-e6f2e299607dd76fd0c9f1129a138a0517e7646c.tar.gz ghdl-e6f2e299607dd76fd0c9f1129a138a0517e7646c.tar.bz2 ghdl-e6f2e299607dd76fd0c9f1129a138a0517e7646c.zip | |
doc: style, use '[options...]' consistently
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions