diff configure.in @ 9890:5f3d80bda2f8

Remove entries for things that are done. Reformat a little.
author David J. MacKenzie <djm@gnu.org>
date Fri, 11 Nov 1994 04:23:40 +0000
parents 463fd155c78d
children 74814eb19d67
line wrap: on
line diff