[tor-bugs] #13114 [Tor]: Ignore coverage_html/

[Tor Bug Tracker & Wiki]

#13114: Ignore coverage_html/
-------------------------+--------------------------
     Reporter:  arlolra  |      Owner:
         Type:  defect   |     Status:  needs_review
     Priority:  normal   |  Milestone:
    Component:  Tor      |    Version:
   Resolution:           |   Keywords:
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+--------------------------
Changes (by arlolra):

 * status:  new => needs_review


--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13114#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online