Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-03 12:21
3a97fe99
View on Github →
fix: count long files, instead of printing all of them (
#16418
) Reported on
Zulip
Estimated changes
Modified
scripts/technical-debt-metrics.sh