Skip to content

fix and activate E714 in the linter#99

Merged
NathanDunfield merged 1 commit into3-manifolds:masterfrom fchapoton:fix_E714_warningsApr 14, 2023

Commits

Commits on Apr 6, 2023