Sebastian Huber 2d0bc839ed build: Remove EXTRA_DIST ...

A "make dist" is not supported. So, it makes no sense to have pure "make
dist" related stuff in the Makefile.am.

2018-04-04 10:09:04 +02:00

..

ada_intrsupp.c

…

adasupp.c

ada: Add missing include

2015-10-30 07:44:45 +01:00

Makefile.am

build: Remove EXTRA_DIST

2018-04-04 10:09:04 +02:00