diff man/gnus.texi @ 34800:075528550112

(GLYPH_EQUAL_P): Also compare pixel widths, otherwise tabs of different size compare equal.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 21 Dec 2000 20:40:58 +0000
parents 44a6d536cea3
children 726bca563fbf
line wrap: on
line diff