diff options
| author | Florian Dold <florian@dold.me> | 2021-08-04 16:46:37 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-08-04 16:46:37 +0200 |
| commit | 08eff3dfa73b5a89bd3d3582f55b1f9cf1fff2d0 (patch) | |
| tree | 499c1210f4fec51ab1d3ab94e42e63fc4b6c8bcb /src/benchmark | |
| parent | e0ec9d44ade691ced354f7f2f7c4557b87d3855b (diff) | |
debian: update manpage name
Diffstat (limited to 'src/benchmark')
0 files changed, 0 insertions, 0 deletions