diff make-dist @ 32456:ec203cfd2e41

(down-list, backward-up-list, up-list): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Oct 2000 11:45:46 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff