diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-19 21:27:10 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-19 21:27:10 +0200 |
| commit | 8575abf285d1dd71990b619fbdf3cd44dbc48e75 (patch) | |
| tree | e72375b9be4c4f9fa06e6301e560e9693c36e7e7 /webui/public | |
| parent | 285e8394861765757a057ca1e16c36c9ca8227cb (diff) | |
| download | git-bug-8575abf285d1dd71990b619fbdf3cd44dbc48e75.tar.gz | |
bug: add a benchmark for reading all bugs in a repo
Diffstat (limited to 'webui/public')
0 files changed, 0 insertions, 0 deletions