diff man/gnu.texi @ 66286:366f80f966cb

(symbol-file): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 21 Oct 2005 17:19:57 +0000
parents 69b3598a61c5
children dc2d5a6655a3 fa0da9b57058
line wrap: on
line diff