Skip to content

Provide a way to ignore error on specific lines#162

Merged
VincentLanglet merged 12 commits intomainfrom ignoredLineJan 12, 2024