diff config.bat @ 14468:e41a60d26291

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