diff options
| author | Siri Hansen <[email protected]> | 2019-01-21 16:26:38 +0100 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2019-01-21 16:26:38 +0100 |
| commit | c18bb73c75b1eea6e8986893edc3b7a066fcf365 (patch) | |
| tree | c29310fbbdf84565152f30951e38fddb7547ca27 /lib/wx/.gitignore | |
| parent | 841ef69f02e45d4b1028cd94664ddb10bfbae061 (diff) | |
| download | otp-c18bb73c75b1eea6e8986893edc3b7a066fcf365.tar.gz otp-c18bb73c75b1eea6e8986893edc3b7a066fcf365.tar.bz2 otp-c18bb73c75b1eea6e8986893edc3b7a066fcf365.zip | |
[cover] Make uncovered lines searchable in html output
Prior to PR#1807, uncovered lines could be found by searching for "
0.." in the HTML page generated by cover:analyse_to_file/1,2. The pull
request removed the two dots after the number of hits, which makes it
much harder to find the uncovered lines.
This commit introduces a sad face, :-( , instead of the single 0
character, which should make the search easier.
Diffstat (limited to 'lib/wx/.gitignore')
0 files changed, 0 insertions, 0 deletions