diff make-dist @ 44373:5be168598322

Minor change for TeX filling improvement.
author Richard M. Stallman <rms@gnu.org>
date Wed, 03 Apr 2002 15:21:07 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff