yangheng commited on
Commit
b965c54
1 Parent(s): 80e94e0

Rename benchmark_info.json to benchmarks_info.json

Browse files
benchmark_info.json → benchmarks_info.json RENAMED
File without changes