diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2016-08-13 13:32:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-13 13:32:20 +0200 |
| commit | dc88cc4e64fd7458772a9c3c6fbf7fbbb3667e31 (patch) | |
| tree | ee516f2bb277419a2f0b158ea2c21fcd54fb19ff /README.md | |
| parent | d1bf5d2bb692eb68cf4a9bf96a434f32b8041369 (diff) | |
| parent | bee9090a9264b3de3ac34583dcd3cc72727fcccf (diff) | |
Merge pull request #247 from theirix/build-check
Allowed to run tests by 'make check' in addition to plain do.sh
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions