diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-05-18 17:26:51 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-01 14:18:09 -0500 |
| commit | 8122c18944b69305060b03fad5b5a46ca59c0975 (patch) | |
| tree | 5bd329ebfcdc411b35372fba2873269acea2c1d7 /doc/conf.py | |
| parent | e135fe7fbe1a79256f6f4ab2c5a5cd1666166197 (diff) | |
| download | ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.tar.gz ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.tar.bz2 ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.zip | |
Rephrase documentation - typos, grammatical nuance, and links
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions