diff man/commands.texi @ 45674:0ddf92221535

(bookmark-file-or-variation-thereof): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sat, 08 Jun 2002 10:42:54 +0000
parents 41ebc22562e0
children ed33a54a268c
line wrap: on
line diff