diff configure.in @ 42744:ecb614567352

(USAGE2): Add the --color option. (standard_args): Ditto.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 14 Jan 2002 13:47:56 +0000
parents ae2e226d9001
children 5fcba75d6dd8
line wrap: on
line diff