From 81aff844159d7af4c49848184617e13f2ecb9d7b Mon Sep 17 00:00:00 2001 From: Chayim Refael Friedman Date: Mon, 14 Dec 2020 06:48:18 +0200 Subject: [PATCH] Fix incorrect heading (#871) There was a space instead of `#` --- doc/site/modules/core/list.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/site/modules/core/list.markdown b/doc/site/modules/core/list.markdown index 3c1956bf..2c389b65 100644 --- a/doc/site/modules/core/list.markdown +++ b/doc/site/modules/core/list.markdown @@ -163,7 +163,7 @@ System.print(list) //> [a, new, c] It is a runtime error if the index is not an integer or is out of bounds. -## **+**(other) operator +### **+**(other) operator Appends a list to the end of the list (concatenation). `other` must be a `List`.