Revision - 679f333 - run-test: add a -timing option

Revision 679f3339fbf7cecebb5890c288ea86db85563ef1 authored by Pierre-Yves Strub on 17 May 2019, 05:46:17 UTC, committed by Pierre-Yves Strub on 17 May 2019, 05:46:17 UTC

run-test: add a -timing option

1 parent a79235c

Files
Changes

Permalinks

File	Mode	Size
XDG.ml	-rw-r--r--	5.0 KB
XDG.mli	-rw-r--r--	1.7 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...