diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-18 11:39:36 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-18 11:39:36 +0100 |
| commit | 08f1aa472cb28d148963495244acc7e9cafed3c4 (patch) | |
| tree | 821600251cf66417a56d9deb1686b9c69caeee42 /Makefile.in | |
| parent | c8fe3c7504a5dc9a0e6d884ba66fed9a5c47e3fb (diff) | |
| parent | 9e06884c3a7db73567a26f63c94f5a4e21874f73 (diff) | |
| download | otp-08f1aa472cb28d148963495244acc7e9cafed3c4.tar.gz otp-08f1aa472cb28d148963495244acc7e9cafed3c4.tar.bz2 otp-08f1aa472cb28d148963495244acc7e9cafed3c4.zip | |
Merge branch 'kostis/travis-dialyzer' into maint
* kostis/travis-dialyzer:
Run dialyzer as part of the travis script
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions