diff lib-src/vcdiff @ 5108:8c482171bb10

(Man-specified-section-option): New variable. (Man-translate-references): Use that variable.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Nov 1993 06:34:22 +0000
parents 8e72792f2d18
children 7124a811b67b
line wrap: on
line diff