Skip to content

Fix bug in summarizing errors and warnings of the notepad.#129

Merged
ielis merged 1 commit intodevelopfrom fix-bug-in-notepad-summaryJan 23, 2024

Commits

Commits on Jan 23, 2024