diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-09-15 15:51:39 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-09-15 20:12:16 +0200 |
| commit | 63e1a4cf2b6e024fcd5b8946248d78bd2fe0513c (patch) | |
| tree | d864e73cf79b522501f27d26dcb8f60f21a0086f /tools/util.py | |
| parent | fbfd895bc7439c16d8cdbf209ed9ef28d3985703 (diff) | |
tools: do not use 'find_exts()' in benchmarks.py (#2950)
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions