Add anchors on each file line #189

Closed

Closed

Add anchors on each file line#189

Labels

opened

on Sep 24, 2019

To be able to give a link to a specific line covered.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests