diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-09-11 06:36:57 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-09-11 06:36:57 +0200 |
| commit | 89969411e5d6ecb5efd89172a9462a92878f093b (patch) | |
| tree | bb937f71605f51f1e08c59aa4747ae19cf6fe783 /python/xtools | |
| parent | cb3468002497ab2090bef31d559e2eaf4747b90a (diff) | |
| download | ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.tar.gz ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.tar.bz2 ghdl-89969411e5d6ecb5efd89172a9462a92878f093b.zip | |
fix: skip testsuite/sanity/005examples when 'docs' not found (#921)
Diffstat (limited to 'python/xtools')
0 files changed, 0 insertions, 0 deletions