diff options
author | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-12-12 17:47:01 +0000 |
---|---|---|
committer | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-12-12 17:47:01 +0000 |
commit | 6307f83cc33b6e3f0c4b01ae3286ca42ac31e146 (patch) | |
tree | 15be19d875387a27c23432d8ff1f57a5c5fb9931 /develop/opentracing.html | |
parent | deploy: 15733b0931ceaa72cf4175c44fe58128fa273bac (diff) | |
download | synapse-6307f83cc33b6e3f0c4b01ae3286ca42ac31e146.tar.xz |
deploy: e85e0ef6ba9259167838d641a4f9f64b2589963f
Diffstat (limited to 'develop/opentracing.html')
-rw-r--r-- | develop/opentracing.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/develop/opentracing.html b/develop/opentracing.html index f502eb3286..0a8796e616 100644 --- a/develop/opentracing.html +++ b/develop/opentracing.html @@ -279,4 +279,4 @@ logged to OpenTracing's logs.</li> <script type="text/javascript" src="docs/website_files/version-picker.js"></script> <script type="text/javascript" src="docs/website_files/version.js"></script> </body> -</html> \ No newline at end of file +</html> |