Public Git Hosting - official-gcc.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 34d2545) | patch

commit	525d13b031ea53d127623316d6c7751ca89cb591
author	Mike Stump <mrs@gcc.gnu.org>
	Thu, 20 Jan 2011 00:19:07 +0000 (20 00:19 +0000)
committer	Mike Stump <mrs@gcc.gnu.org>
	Thu, 20 Jan 2011 00:19:07 +0000 (20 00:19 +0000)
tree	d508222c687f98d91acee1a71a96e05b15e498a1	tree \| snapshot (tar.gz zip)
parent	34d2545c34f00f831c14f72cf9e1f902b2b638cf	commit \| diff

tm.texi.in (BRANCH_COST): Englishify.

* doc/tm.texi.in (BRANCH_COST): Englishify.
* doc/tm.texi (BRANCH_COST): Likewise.

From-SVN: r169043

gcc/doc/tm.texi		diff \| blob \| blame \| history
gcc/doc/tm.texi.in		diff \| blob \| blame \| history

Mirror of the offical gcc git repository hosted at gcc.gnu.org