diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-12-05 16:17:11 +0100 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-12-05 16:17:11 +0100 |
| commit | 84805a68caca2f21a7a32f54ac4c1f6e0ada98ac (patch) | |
| tree | 85ebdba3dc5dfbe678493e2bc1b1bfdbf383e264 /.github | |
| parent | a2d81ce983d45b5742c93bd472503c88286f099a (diff) | |
Use StopTimer in site benchmarks
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions