aboutsummaryrefslogtreecommitdiffhomepage
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-tests183logplain
-rwxr-xr-xrun.sh4068logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 06:06:53 +0000