diff move-if-change @ 36155:3594ca3f5f64

Fix some Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 17:05:29 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff