Public Git Hosting - official-gcc.git/commit

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

commit	3b0df22717be3b5b539b0b19d39fd7f078f336b0
author	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 30 Oct 2014 11:46:20 +0000 (30 11:46 +0000)
committer	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 30 Oct 2014 11:46:20 +0000 (30 11:46 +0000)
tree	71cf6013dc9ad01fef72a378c872389bf381ccbe	tree \| snapshot (tar.gz zip)
parent	03ffc1daf722aaea4786d34feb36ba85a1295c8e	commit \| diff

Recommit wrongly reverted change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216924 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/a-cimutr.adb		diff \| blob \| blame \| history
gcc/ada/freeze.adb		diff \| blob \| blame \| history
gcc/ada/opt.adb		diff \| blob \| blame \| history
gcc/ada/s-os_lib.adb		diff \| blob \| blame \| history

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