diff options
author | Lars Thorsen <[email protected]> | 2019-01-08 12:48:53 +0100 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2019-01-08 12:48:53 +0100 |
commit | 2a0dc6e15e4da3bf9652a9cfe2c02cdf3b2bfb68 (patch) | |
tree | 031a182f706dc94efe0cff9cf6523fc5f1d6339e /lib/jinterface/.settings | |
parent | 91e5207a14ff50bfc42aa9bcf2219cc2f4af63f8 (diff) | |
parent | 0d6eeb82210b5ad848af972c3b2f687a52edd156 (diff) | |
download | otp-2a0dc6e15e4da3bf9652a9cfe2c02cdf3b2bfb68.tar.gz otp-2a0dc6e15e4da3bf9652a9cfe2c02cdf3b2bfb68.tar.bz2 otp-2a0dc6e15e4da3bf9652a9cfe2c02cdf3b2bfb68.zip |
Merge branch 'maint-20' into maint
* maint-20:
Updated OTP version
Prepare release
Diffstat (limited to 'lib/jinterface/.settings')
0 files changed, 0 insertions, 0 deletions