diff man/mini.texi @ 26420:00b7d6135be4

(Fdocumentation_property): Remove GCPRO because Fsubstitute_command_keys gcpro's the string.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 12 Nov 1999 12:50:54 +0000
parents ac7e9e5e2ccb
children 99ca9ac9c31a
line wrap: on
line diff