diff configure @ 7437:0636b9ffb64a

Removed obsolete entries.
author diego
date Wed, 18 Sep 2002 01:59:44 +0000
parents 7a221aaf7012
children ad00ad5f25a9
line wrap: on
line diff