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

[Tor Bug Tracker & Wiki]

#13114: Ignore coverage_html/
-----------------------------+--------------------------------
     Reporter:  arlolra      |      Owner:
         Type:  defect       |     Status:  closed
     Priority:  normal       |  Milestone:  Tor: 0.2.6.x-final
    Component:  Tor          |    Version:
   Resolution:  implemented  |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+--------------------------------
Changes (by nickm):

 * status:  needs_review => closed
 * resolution:   => implemented


Comment:

 Merged; thanks!

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