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 /LICENSE.txt | |
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 'LICENSE.txt')
0 files changed, 0 insertions, 0 deletions