projects / nmigen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fd5ee54)
docs/index: rename to "Language & toolchain".
authorwhitequark <whitequark@whitequark.org>
Thu, 2 Jul 2020 23:08:10 +0000 (23:08 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 2 Jul 2020 23:08:10 +0000 (23:08 +0000)
docs/index.rst patch | blob | history

diff --git a/docs/index.rst b/docs/index.rst
index 2beb5d914d0b5dd61ec9048648d71b7be4590ff0..3b273caeb004ed03eb0c01c592c21df98140c551 100644 (file)
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -1,5 +1,5 @@
-Toolchain
-#########
+Language & toolchain
+####################
 
 .. warning::