diff options
author | Magnus Lång <[email protected]> | 2016-03-14 18:55:38 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:10 +0200 |
commit | 80bda0beb9c45a016414009d3a84c502301bece8 (patch) | |
tree | 8e67e3c71a690631fc95584eaa7f609920c0a0a3 /lib/Makefile | |
parent | 01916bad570fea8f13c2fdc8499a6cd5bdb8523f (diff) | |
download | otp-80bda0beb9c45a016414009d3a84c502301bece8.tar.gz otp-80bda0beb9c45a016414009d3a84c502301bece8.tar.bz2 otp-80bda0beb9c45a016414009d3a84c502301bece8.zip |
Bump Dialyzer version
Because the type representation has changed, old PLTs are not
compatible. We update the version to 2.10 because of this.
Diffstat (limited to 'lib/Makefile')
0 files changed, 0 insertions, 0 deletions