docs/index: rename to "Language & toolchain".

2020-07-02 23:08:10 +00:00 · 2020-07-02 23:08:10 +00:00 · 76b3ef4b13
parent fd5ee548b6
commit 76b3ef4b13
1 changed files with 2 additions and 2 deletions
--- a/docs/index.rst
+++ b/docs/index.rst
@ -1,5 +1,5 @@
-Toolchain
-#########
+Language & toolchain
+####################

 .. warning::