diff configure.in @ 14468:e41a60d26291

Correct specialised fontification and associated stuff.
author Simon Marshall <simon@gnu.org>
date Fri, 02 Feb 1996 10:37:39 +0000
parents 1999513cc3b2
children 4deac8b4941c
line wrap: on
line diff