diff options
author | Björn Gustavsson <[email protected]> | 2019-02-13 06:37:30 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-02-13 06:37:30 +0100 |
commit | e872bc4d9f51f65a746d8ffd8daa408bb4096ca6 (patch) | |
tree | aa6ced48ee39682c18a2a708b1060fa016598133 /scripts/build-docker-otp | |
parent | 03ede8910696037c60874a345fd5a9a7c99c5b48 (diff) | |
parent | 89efd8081c32b3f56ebec5c1f44750aa3e96c0f6 (diff) | |
download | otp-e872bc4d9f51f65a746d8ffd8daa408bb4096ca6.tar.gz otp-e872bc4d9f51f65a746d8ffd8daa408bb4096ca6.tar.bz2 otp-e872bc4d9f51f65a746d8ffd8daa408bb4096ca6.zip |
Merge pull request #2137 from bjorng/bjorn/tools/cover
Use the counters module to speed up cover
OTP-15575
Diffstat (limited to 'scripts/build-docker-otp')
0 files changed, 0 insertions, 0 deletions