diff options
| author | Henrik Nord <[email protected]> | 2017-08-25 13:13:20 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2017-08-25 13:13:20 +0200 |
| commit | 3bc5c3b35b3151143dffe94290c9ddf29b1b10d6 (patch) | |
| tree | 74c0402d867c894fe829649062e10f6cf5ba08fa /lib/dialyzer/doc/src/ref_man.xml | |
| parent | 55acf245c53b1a4b36ea4514bdc93b3acba699a1 (diff) | |
| parent | a230f26086b3db9097f06d4bb91fb3b2e9379c77 (diff) | |
| download | otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.tar.gz otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.tar.bz2 otp-3bc5c3b35b3151143dffe94290c9ddf29b1b10d6.zip | |
Merge branch 'maint-20' into maint
* maint-20:
Updated OTP version
Prepare release
dialyzer: Fix a bug where merging PLT:s could lose info
Diffstat (limited to 'lib/dialyzer/doc/src/ref_man.xml')
0 files changed, 0 insertions, 0 deletions