Skip to content
Commit 99f933b6 authored by Fangrui Song's avatar Fangrui Song
Browse files

[test] Clean up Driver/check-time-trace* 

Rename check-time-trace* to ftime-trace*.
Avoid deprecated %T.
parent 6647f3cd
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment