diff make-dist @ 26281:d4ba91022b7a

(ask-user-about-lock): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 01 Nov 1999 14:53:59 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff