Skip to content

Ignore commented out declarations - #224

Open
fingolfin wants to merge 1 commit into
gap-packages:masterfrom
fingolfin:mh/fix-commented-out-decl
Open

Ignore commented out declarations#224
fingolfin wants to merge 1 commit into
gap-packages:masterfrom
fingolfin:mh/fix-commented-out-decl

Ignore commented out declarations

79f6397
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Dec 29, 2025 in 0s

90.62% of diff hit (target 74.95%)

View this Pull Request on Codecov

90.62% of diff hit (target 74.95%)

View more details on Codecov