Repository navigation

chore: small fixes from linter - #4997

Merged

deadprogram merged 3 commits into

devfrom

small-fixes-from-linter

Sep 14, 2025

Commits on Aug 16, 2025

Fix for #4678: top-level 'make lint' wasn't working

cibomahto
authored and
deadprogram
committed
cdead37
Move the directory list into a variable

cibomahto
authored and
deadprogram
committed
a29a2e3
fix: correct linter issues exposed by the fix in #4679
deadprogram
committed
501052b