diff src/search.c @ 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 6b3176775d00
children 2f74d2880f10
line wrap: on
line diff