diff etc/PROBLEMS @ 38134:7e62c472338b

Minor Texinfo style change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 20 Jun 2001 10:51:27 +0000
parents bef7906aca9a
children f4830f2d181b
line wrap: on
line diff