diff man/basic.texi @ 66286:366f80f966cb

(symbol-file): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 21 Oct 2005 17:19:57 +0000
parents 7fb814227358
children 4c99ea8adc42 5e2d3828e89f
line wrap: on
line diff