Automatic merge d7a8ebc1d3 ------------------------------------------------------------------------ ...

r203160 | reznik | 2013-02-26 16:02:12 +0100 (Tue, 26 Feb 2013) | 2 lines

Rename Core_Kernel to Core_Kernel_Record. For LB21_009

------------------------------------------------------------------------


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@203161 936e1b1b-40f2-da11-902a-00137254ae57

2013-02-26 15:03:13 +00:00

..

core

------------------------------------------------------------------------

2013-02-26 15:03:13 +00:00

obj

Fix permissions

2009-11-23 20:11:05 +00:00

src

Merge changes from trunk.

2013-02-21 16:37:08 +00:00

.cvsignore

Fix permissions

2009-11-23 20:11:05 +00:00

python_core.gpr

Merge changes from trunk.

2013-02-21 16:37:08 +00:00

python.gpr

Merge changes from trunk.

2013-02-21 16:37:08 +00:00