diff options
author | José Valim <[email protected]> | 2017-03-24 20:18:57 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-03-24 20:18:57 +0100 |
commit | f8b173ace100e6c65f9e9936b9617fc26e92b074 (patch) | |
tree | 3bc89a140bbaf7b79caa0d7b9c0645b3fe252e3d /scripts | |
parent | 513a14e3f8225aa35ced7c0a1753d287bae1b707 (diff) | |
download | otp-f8b173ace100e6c65f9e9936b9617fc26e92b074.tar.gz otp-f8b173ace100e6c65f9e9936b9617fc26e92b074.tar.bz2 otp-f8b173ace100e6c65f9e9936b9617fc26e92b074.zip |
Remove inets from runtime dependencies in tools
Commit d8ff1e3 removed cover_web and therefore
tools no longer depends on inets.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions