diff etc/grep.txt @ 66253:ea87e52cf6da

* e/eterm-color.ti: Change the terminal name to eterm-color. * e/eterm-color: Regenerate.
author Dan Nicolaescu <dann@ics.uci.edu>
date Thu, 20 Oct 2005 18:36:38 +0000
parents 4fc385f4c685
children 3681678d3d86
line wrap: on
line diff