diff options
author | Andrey Andreev <narf@bofh.bg> | 2012-11-02 23:16:47 +0100 |
---|---|---|
committer | Andrey Andreev <narf@bofh.bg> | 2012-11-02 23:16:47 +0100 |
commit | 38e32f643492a7bf0233bb9848138d183fbdfcd4 (patch) | |
tree | 2ba9fdc1309f918c8caf9afd3739e8ab241618ec /user_guide_src/source/general/profiling.rst | |
parent | e24eed7e4e410fabf7479a67d3a27e2596444505 (diff) |
Bootstrap improvements
- Don't instantiate the CI singleton twice.
- General clean-up.
- Fix issue #953.
Diffstat (limited to 'user_guide_src/source/general/profiling.rst')
0 files changed, 0 insertions, 0 deletions