Skip to content

Add NOLINT block to lint.py#7720

Merged
Wumpf merged 4 commits intomainfrom antoine/nolint-blocksOct 15, 2024