diff options
author | Richard Cunningham <github@richardcunningham.co.uk> | 2014-03-19 18:11:14 +0100 |
---|---|---|
committer | Richard Cunningham <github@richardcunningham.co.uk> | 2014-03-19 18:11:14 +0100 |
commit | 70a8626a4d9ddbf9467970acf1b329b1d484791f (patch) | |
tree | ab9f39bab4da767a8e0099476a91d1700bc60403 /user_guide_src/source/libraries/benchmark.rst | |
parent | 46d2072e5ce0c13f3be2bd909d76eba37964740f (diff) |
Fix profiling of benchmarked names like 'something_endpoint_end'
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions