diff src/makefile.w32-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 26edff7f8f45
children 17bf646199a1
line wrap: on
line diff