diff configure @ 28944:bbeb2e4efe89

Deleted -- unused.
author Dave Love <fx@gnu.org>
date Tue, 16 May 2000 16:44:10 +0000
parents 6d96f2643b05
children 91115e6a0f53
line wrap: on
line diff