diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-10-23 17:40:45 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-10-23 18:40:45 +0200 |
| commit | ad7f605c04bfe12f579cdda08d15bc8a3a62afd8 (patch) | |
| tree | e792a012885609b0452846eef4dfbd947611889c /doc | |
| parent | 1dc2bb2266d14dfc082706a947a5f8668ed51a0c (diff) | |
| download | ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.tar.gz ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.tar.bz2 ghdl-ad7f605c04bfe12f579cdda08d15bc8a3a62afd8.zip | |
makefile: remove 'check' target (#992)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions