* doc/extend.texi: Fix duplicated word.
authorSylvain Pion <Sylvain.Pion@sophia.inria.fr>
Fri, 17 Sep 2004 17:24:17 +0000 (19:24 +0200)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Fri, 17 Sep 2004 17:24:17 +0000 (17:24 +0000)
commit254ea84c129481587eae80d78783b08d8d6cd507
tree5437fb506ae4ee2b7c31a6ba4c690729b6701fba
parent4cdf72233bf62dc514506547a73231914d50c42f
* doc/extend.texi: Fix duplicated word.

From-SVN: r87657
gcc/ChangeLog
gcc/doc/extend.texi