summaryrefslogtreecommitdiff
path: root/sci-mathematics/mathlib-tools/files
ModeNameSize
-rw-r--r--mathlib-tools-1.3.2-pull-131.patch3637logplain