per-file-after « timing « coq-makefile « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/coq-makefile/timing/per-file-after

Mode	Name	Size
-rw-r--r--	A.v	209	log plain
-rw-r--r--	A.v.timing.diff.desired	908	log plain
-rw-r--r--	_CoqProject	4	log plain