rearrange --with options
authorDavid J. MacKenzie <djm@gnu.org>
Tue, 22 Nov 1994 03:22:43 +0000 (03:22 +0000)
committerDavid J. MacKenzie <djm@gnu.org>
Tue, 22 Nov 1994 03:22:43 +0000 (03:22 +0000)
commit4f734bde414dd92c11fe288753adce26cf12eaa3
tree9e2e74ec41519175c6f7f9c66ef3d52dc40aa87f
parent12b28fb52506172616d56d34ac1b66fbfd960db5
rearrange --with options
configure.in