diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-05 17:03:51 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-05 17:03:51 -0500 |
| commit | 945ef8961cfab9afbd73c434bd557ea5074d46b3 (patch) | |
| tree | ec2c4ea8dbddf78443613dd051e367f30d7eb95f /doc/getting | |
| parent | 0490a02c0982962c944e3b8eb7ded090e18e403b (diff) | |
| download | ghdl-945ef8961cfab9afbd73c434bd557ea5074d46b3.tar.gz ghdl-945ef8961cfab9afbd73c434bd557ea5074d46b3.tar.bz2 ghdl-945ef8961cfab9afbd73c434bd557ea5074d46b3.zip | |
Fix typo
@gwtnb opened PR 597 while PR 591 was still open, pointing out this
typo that had been missed.
Incorporate this typo fix into PR 591
Diffstat (limited to 'doc/getting')
0 files changed, 0 insertions, 0 deletions