Skip to content

Allow ignore directive anywhere in comment#529

Merged
anderseknert merged 1 commit intomainfrom ignore-directive-anywhereJan 5, 2024

Commits

Commits on Jan 5, 2024