These files are included into the html file generated by MMT's logging. They provide functionality for interacting with error logs, e.g., double-clicking jumps to the next error.
Florian Rabe
authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.