commit d76cee3eee656547ee497be4d4f68e73f2c60b24
parent 03bd682a8dd46bf08a38daad7f5cdaab3bfcbc50
Author: Alexander Burger <abu@software-lab.de>
Date: Fri, 5 Jul 2013 21:47:38 +0200
Reverted. Will be fixed with 3.1.3.3
Diffstat:
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/doc/ref.html b/doc/ref.html
@@ -653,8 +653,7 @@ 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 # This is a comment
- 2 3 )
+: (* 1 2 3) # This is a comment
-> 6
</code></pre>