diff make-dist @ 27217:d21dbd5dc0b1

Lazy highlighting.
author Dave Love <fx@gnu.org>
date Wed, 05 Jan 2000 23:28:19 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff