diff admin/revdiff @ 40218:31cee69dfd2c

(make-doctor-variables): Remove a '($ please)'.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 23 Oct 2001 16:15:39 +0000
parents 570be39418f4
children 23a1cea22d13
line wrap: on
line diff