diff configure @ 33563:16f5454d8a36

#
author André Spiegel <spiegel@gnu.org>
date Thu, 16 Nov 2000 18:18:46 +0000
parents 2281a1a9c54a
children ce8363e1347d
line wrap: on
line diff