Public Git Hosting - official-gcc.git/commit

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

commit	5e67c1f83f36d04eda9e8c7538e56497b0700e5c
author	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Tue, 25 Apr 2017 13:33:32 +0000 (25 13:33 +0000)
committer	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Tue, 25 Apr 2017 13:33:32 +0000 (25 13:33 +0000)
tree	8645044f8bda2e31b6f0c47133ca70f1c3bcfa5a	tree \| snapshot (tar.gz zip)
parent	1e3d4b751ea818bd61af28e6dea616be8aa75549	commit \| diff

Minor reformatting.

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

gcc/ada/sem_cat.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch13.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history

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