Emmanuel Briot 43f93845ca Makefile.python no longer needs to be generated by python, since all ...

optional code is now handled by gnatlib


git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@108110 936e1b1b-40f2-da11-902a-00137254ae57

2007-06-13 10:25:37 +00:00

722 B

Executable File

Raw Blame History

View Raw