diff options
author | Jorik Schellekens <joriksch@gmail.com> | 2019-07-22 11:15:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-22 11:15:21 +0100 |
commit | 826e6ec3bdfca92a5815f032c3246fab9a2aef88 (patch) | |
tree | c5221a2b4ccfb6ba864cd82510df2356a217e32c /pylint.cfg | |
parent | towncrier (diff) | |
download | synapse-826e6ec3bdfca92a5815f032c3246fab9a2aef88.tar.xz |
Opentracing Documentation (#5703)
* Opentracing survival guide * Update decorator names in doc * Doc cleanup These are all alterations as a result of comments in #5703, it includes mostly typos and clarifications. The most interesting changes are: - Split developer and user docs into two sections - Add a high level description of OpenTracing * newsfile * Move contributer specific info to docstring. * Sample config. * Trailing whitespace. * Update 5703.misc * Apply suggestions from code review Mostly just rewording parts of the docs for clarity. Co-Authored-By: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions