Skip to content

Make Xprint not reprint the tree if it is unchanged. #1312

Closed
@DarkDimius

Description

@DarkDimius

It would be nice also to color the difference with tree emitted by previous phase.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions