diff options
author | Björn Gustavsson <[email protected]> | 2018-07-09 10:00:19 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-07-09 10:00:19 +0200 |
commit | aeea56792ca19f78bff65cd8300b3e5b0b041d55 (patch) | |
tree | 0d1837b046cbcbaf4a8caa0f81dca3d0b1a4e38a /lib | |
parent | 10a0882f33111355714e476288f9cf887fdc0952 (diff) | |
parent | d1a3136e72d38ce6cbe3f0292b7aa34e02b85cdc (diff) | |
download | otp-aeea56792ca19f78bff65cd8300b3e5b0b041d55.tar.gz otp-aeea56792ca19f78bff65cd8300b3e5b0b041d55.tar.bz2 otp-aeea56792ca19f78bff65cd8300b3e5b0b041d55.zip |
Merge branch 'lukas/travis/fix-doc-deploy' of github.com:garazdawi/otp
* 'lukas/travis/fix-doc-deploy' of github.com:garazdawi/otp:
travis: Only deploy in erlang/otp
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions