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 /make | |
| 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 'make')
0 files changed, 0 insertions, 0 deletions