diff options
author | tgingold <tgingold@users.noreply.github.com> | 2016-12-07 21:32:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-07 21:32:45 +0100 |
commit | 86c711e9dd0132f4fee1c1f69ad5feed96bc7de8 (patch) | |
tree | a0f51e96481503e6290ec0d348a56df0d1573dc2 /STYLE | |
parent | e3f9722a92bfce25f0436b82897feacffd0ffbe2 (diff) | |
parent | 4d267a1e62ebe1dfa7b443eb70fb5fef3914e815 (diff) | |
download | ghdl-86c711e9dd0132f4fee1c1f69ad5feed96bc7de8.tar.gz ghdl-86c711e9dd0132f4fee1c1f69ad5feed96bc7de8.tar.bz2 ghdl-86c711e9dd0132f4fee1c1f69ad5feed96bc7de8.zip |
Merge pull request #215 from robinkjoy/master
Fix spelling in error message
Diffstat (limited to 'STYLE')
0 files changed, 0 insertions, 0 deletions