Bob Plested 2aee07f59c Changed gpr files to call gnat12

2018-09-24 19:49:30 +02:00

..

hotplug_cb.adb

Move to GPLv3.

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

hotplug_cb.ads

Move to GPLv3.

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

hotplug_module.ini

Reorganize hotplug demo sources.

2010-07-04 17:06:45 +00:00

hotplug.adb

Move to GPLv3.

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

hotplug.gpr

Changed gpr files to call gnat12

2018-09-24 19:49:30 +02:00

main.adb

Move to GPLv3.

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

Makefile

Rename makefile to Makefile (GNU standard)

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