diff configure1.in @ 4119:7b1b2a8d05f2

Doc fixes; some args renamed.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jul 1993 19:06:12 +0000
parents 7b4f3b64253b
children 66f2f7838436
line wrap: on
line diff