diff options
author | Péter Dimitrov <[email protected]> | 2018-03-07 09:21:52 +0100 |
---|---|---|
committer | Péter Dimitrov <[email protected]> | 2018-03-07 09:21:52 +0100 |
commit | 64dc3c39cbd19d6b75e5b74cfdfdd57419d4c455 (patch) | |
tree | c5d43be0dc253453d96d8a448da1e322f187f3dd /erts/internal_doc/.gitignore | |
parent | c4d998efff359889cc6dbc3d46f2f75188141960 (diff) | |
parent | 2c46d06c73bf4102646c4a82628c59533ea220f3 (diff) | |
download | otp-64dc3c39cbd19d6b75e5b74cfdfdd57419d4c455.tar.gz otp-64dc3c39cbd19d6b75e5b74cfdfdd57419d4c455.tar.bz2 otp-64dc3c39cbd19d6b75e5b74cfdfdd57419d4c455.zip |
Merge branch 'maint'
* maint:
inets: work around http_uri:parse Dialyzer warning in uri_SUITE.erl:274
inets: refine types and doc of http_uri:parse options
inets: export types documented for http_uri module
Change-Id: Ifff539d8254cc86985f90978dd75a36616136c33
Diffstat (limited to 'erts/internal_doc/.gitignore')
0 files changed, 0 insertions, 0 deletions