diff etc/LINUX-GNU @ 42748:0a6f6545e08f

Suggest to use --color if the terminal capabilities lie.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 14 Jan 2002 13:51:13 +0000
parents 6b5aacec5ace
children e7d1e0f7a699
line wrap: on
line diff