From 2bff2fe1adc7742aeb56cff067dec65b587f6202 Mon Sep 17 00:00:00 2001 From: Pablo Aguilar Date: Mon, 15 Jun 2020 13:31:15 -0300 Subject: [PATCH] Renames docs section from "Integration" to "Development" --- docs/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index.rst b/docs/index.rst index 5d056a6a1..0cf87dc59 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -42,7 +42,7 @@ Contents .. toctree:: :maxdepth: 2 - :caption: Integration + :caption: Development pages/tracing.rst pages/contrib/mypy_plugins.rst