commit 03bd682a8dd46bf08a38daad7f5cdaab3bfcbc50
parent d2c9cfffed9ee3e041f8159ef4263ead295c1dc0
Author: Alexander Burger <abu@software-lab.de>
Date: Fri, 5 Jul 2013 14:04:30 +0200
Doc fix
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc/ref.html b/doc/ref.html
@@ -653,7 +653,8 @@ whether it is entered at the console or read from a file.
character. Everything up to the end of that line will be ignored by the reader.
<pre><code>
-: (* 1 2 3) # This is a comment
+: (* 1 # This is a comment
+ 2 3 )
-> 6
</code></pre>