diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-05-28 08:47:09 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-28 08:47:09 -0300 |
commit | 5bb412f389c443d7562bdd28b973936c40c7a56e (patch) | |
tree | 25d5bc1ce9bad1fe4a0589dd547a3273f087f12e /doc | |
parent | 856d945248a8ff3518de80eba48f19d2388c06f9 (diff) |
Revert "Make the performance reporting update frequency customizable"
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions