Public Git Hosting - official-gcc.git/commit

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

commit	0ab073f7f151dcef6e11571886daa8f2eec4a8be
author	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Fri, 28 Apr 2017 13:38:19 +0000 (28 13:38 +0000)
committer	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Fri, 28 Apr 2017 13:38:19 +0000 (28 13:38 +0000)
tree	cef25ab4a4fc1f36859afa00da4a47996eae3ddd	tree \| snapshot (tar.gz zip)
parent	f0e731f213dccbc31b2ad50552aa2c1ed673caf7	commit \| diff

Minor reformatting.

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

gcc/ada/sem_ch6.adb		diff \| blob \| blame \| history
gcc/ada/sem_res.adb		diff \| blob \| blame \| history

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