Yet another doc nit
commit439c043037f5846e18f42893cab09b9e66109e12
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 7 Jan 2011 18:04:18 +0000 (7 19:04 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 7 Jan 2011 18:04:18 +0000 (7 19:04 +0100)
tree7f49c3edd8c64211c7a5cc650292645a187b1351
parent68abcf73367753b5b412d9d377f1840c412dffd5
Yet another doc nit
doc/repl.texi