diff configure @ 34220:3984e8b6d0c5

Fix header and customization.
author Dave Love <fx@gnu.org>
date Tue, 05 Dec 2000 19:18:06 +0000
parents fd29993d1f00
children de5d85f5717b
line wrap: on
line diff