diff configure @ 37736:d6f944b128c4

(split_font_name): Handle `[...]' for the right font name fields.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 15 May 2001 10:42:18 +0000
parents d12b4a1326c1
children ee23b9f37f80
line wrap: on
line diff