Collect and serialize information about certain operations #6

Open

Labels

Priority: MediumType: Enhancement

opened

on Aug 25, 2021

It would be useful to collect and serialize information about certain operations like e.g. how many substitutions were done during regularization and which files were affected.

Metadata

Assignees

No one assigned

Labels

Priority: MediumType: Enhancement

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests