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