diff admin/revdiff @ 70697:d6f5b85d7429

(Fprevious_overlay_change, Fnext_overlay_change): Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 May 2006 22:26:51 +0000
parents a8b22f12b3dc
children b2e5081b9320 72dea2ff0142
line wrap: on
line diff