diff move-if-change @ 103798:c24c16a95c42

Minor rearrangements to improve TeX line-filling.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 03:04:11 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff