Pierre-Marie de Rodat d6c121ef43 AdaAPIDriver: merge "input_sources" and "argv" ...

Now that the latter exists, the former has no reason to exist. Remove it
from tests, as it became wrong/misleading.

TN: U624-007

2022-05-04 10:33:51 +02:00

..

foo.adb

Reorganize the source tree

2020-11-02 16:51:46 +01:00

main.adb

Reorganize the source tree

2020-11-02 16:51:46 +01:00

test.out

Reorganize the source tree

2020-11-02 16:51:46 +01:00

test.yaml

AdaAPIDriver: merge "input_sources" and "argv"

2022-05-04 10:33:51 +02:00