diff src/m/sequent-ptx.h @ 71579:512847086350

(Safe File Variables): Texinfo usage fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 03 Jul 2006 15:44:14 +0000
parents 3bd95f4f2941
children e90d04cd455a c5406394f567
line wrap: on
line diff