Skip to content

[html] Expose the HTML formatter options as user settings #4013

New issue
New issue
Closed
Closed
[html] Expose the HTML formatter options as user settings#4013
Assignees
egamma
Labels
htmlHTML support issuesverifiedVerification succeeded
Milestone
March 2016
@egamma

Description

@egamma
egamma
opened on Mar 11, 2016
No description provided.

Metadata

Metadata

Assignees

Labels

htmlHTML support issuesverifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions