summaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/timing
ModeNameSize
d---------after284logplain
d---------aggregate107logplain
d---------before107logplain
d---------error70logplain
d---------per-file-after121logplain
d---------per-file-before70logplain
d---------precomputed-time-tests141logplain
-rwxr-xr-xrun.sh4174logplain
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-30 08:03:04 +0000