diff etc/SERVICE @ 103799:9b3f664fc049

Minor rearrangements to improve TeX line-filling.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 03:04:23 +0000
parents 5a8fd913621c
children e6fdae9180d4 ef719132ddfa
line wrap: on
line diff