Completion: a bit of documentation
commit56db9f728629e0859cafa34b53d8a16f34eeef01
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Thu, 25 Nov 2010 17:52:25 +0000 (25 18:52 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Thu, 25 Nov 2010 17:52:25 +0000 (25 18:52 +0100)
tree9f62445347fc44d8e1e39cc0fe0212dc13f3f1f3
parentca4761af930caef19427863af75b576ce611d2e4
Completion: a bit of documentation
doc/parens.texi
doc/repl.texi