blob: a0efbb9ccdd331294cc88fb43205198c9576dc49 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- doc/sed.texi.orig Tue Nov 19 20:54:46 2002
+++ doc/sed.texi Wed Dec 18 00:49:10 2002
@@ -23,7 +23,7 @@
@syncodeindex op fn
@direntry
-* sed: (sed). Stream EDitor.
+* GNU sed: (sed). Stream EDitor.
@end direntry
|