diff options
author | Björn Gustavsson <[email protected]> | 2013-04-18 13:32:59 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2013-04-18 13:45:31 +0200 |
commit | 7da9c3dd86364771c0340f8ab173ca1875e7422f (patch) | |
tree | 6d8148a7160bc2871fd5d141343fb6c517aa46ce /erts/doc/src | |
parent | ad7231b1b5227f2ba9baa58c1c436ff9a95d2c67 (diff) | |
parent | 32b32fb6dd9e4c501c434789625e270e437960e3 (diff) | |
download | otp-7da9c3dd86364771c0340f8ab173ca1875e7422f.tar.gz otp-7da9c3dd86364771c0340f8ab173ca1875e7422f.tar.bz2 otp-7da9c3dd86364771c0340f8ab173ca1875e7422f.zip |
Merge branch 'maint-r15' into maint-r16
* maint-r15:
Prepare release
Dummy merge.
Diffstat (limited to 'erts/doc/src')
0 files changed, 0 insertions, 0 deletions