diff man/mini.texi @ 40518:7f6156d8c1af

Update prev-pointer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 30 Oct 2001 18:26:57 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff