Document DUMP's &rest argument.
commit3e5264e12c9a970caf5ba2ea5574e4f89089628f
authorDidier Verna <didier@lrde.epita.fr>
Wed, 26 Sep 2012 12:50:10 +0000 (26 14:50 +0200)
committerDidier Verna <didier@lrde.epita.fr>
Wed, 26 Sep 2012 12:50:10 +0000 (26 14:50 +0200)
tree0b491ad7df0f4411d71b838752d2e2385788617c
parentb1838f12da730daa425968867aeabde6d09f908b
Document DUMP's &rest argument.

ChangeLog entries:

2012-09-26  Didier Verna  <didier@lrde.epita.fr>

* doc/user.texi (Explanation): Document the &rest argument of
DUMP.
doc/user.texi