Pascal Obry 4e4159335f Rename makefile to Makefile (GNU standard) ...

This is also what GPS expects by default.

For O604-017.

2015-06-16 17:20:29 +02:00

..

ada2wsdl.xml

Repository clean-up.

2006-09-13 09:20:27 +00:00

aws.py

Remove obsolete $ CVS tags.

2008-08-08 14:55:41 +00:00

aws.xml

Fix reference for AWS documentation in GPS plug-ing.

2015-04-08 16:43:43 +02:00

gen_gps_ref.adb

Move to GPLv3.

2012-01-03 18:55:45 +01:00

gps_support.gpr

Remove unused project in with clause.

2014-08-18 11:40:16 +02:00

Makefile

Rename makefile to Makefile (GNU standard)

2015-06-16 17:20:29 +02:00

wsdl2aws.xml

Make sure the menu is put at a known location, even when this file

2007-06-21 09:04:10 +00:00