diff src/config.in @ 10037:07c7351976b4

rearrange --with options
author David J. MacKenzie <djm@gnu.org>
date Tue, 22 Nov 1994 03:22:43 +0000
parents be51e61f9fb7
children e07dfdbb02d1
line wrap: on
line diff