diff options
author | Björn Gustavsson <[email protected]> | 2016-11-18 14:58:44 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-11-18 14:58:44 +0100 |
commit | 81a1e29ba726d0ef24f5ac15808d69c5cbd1a875 (patch) | |
tree | cc0ed382c773a7b2c91b511a89a13b2ab8577b50 /.gitignore | |
parent | 79653c709f854e6fadd719ef5f079f66219c6bdf (diff) | |
parent | 4683b5c227a238ee27f658bdfe2981c4b69acf09 (diff) | |
download | otp-81a1e29ba726d0ef24f5ac15808d69c5cbd1a875.tar.gz otp-81a1e29ba726d0ef24f5ac15808d69c5cbd1a875.tar.bz2 otp-81a1e29ba726d0ef24f5ac15808d69c5cbd1a875.zip |
Merge branch 'maint'
* maint:
Travis: Reduce memory consumption for dialyzer
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions