diff config.sub @ 4119:7b1b2a8d05f2

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