Fix syntax
commit366f6ecbd3dd9237ded638d7c6ad04dfec90f19d
authorPeter <craven@gmx.net>
Sat, 30 Apr 2016 19:32:06 +0000 (30 21:32 +0200)
committerPeter <craven@gmx.net>
Sat, 30 Apr 2016 19:32:06 +0000 (30 21:32 +0200)
treefd3f3836983efee501b0437babddb306e9ab635a
parent7c81478ba891fd0f9d38bf82a823fff076a26b70
Fix syntax
doc/repl.texi