diff etc/grep.txt @ 68950:85f92eabec4d

Remove the coding cookie, it's not needed anymore.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 17 Feb 2006 10:34:16 +0000
parents 4fc385f4c685
children 3681678d3d86
line wrap: on
line diff