Emmanuel Briot 34fcdfb5aa ("GPS.MDI.add"): new parameters group and position ...

These are used to specify the initial position of the widget.
M218-036

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

2013-06-07 08:46:37 +00:00

..

core

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

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

obj

Fix permissions

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

src

("GPS.MDI.add"): new parameters group and position

2013-06-07 08:46:37 +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