Matthieu Eyraud a44fbe2c9f Add a renaming of the --ignore-source-files switch ...

Deprecate the --ignore-source-files switch in favor of the newly
introduced --excluded-source-files switch for naming consistency
purposes. Also rename the Ignored_Source_Files* project attributes.

2025-11-28 09:30:40 +01:00

..

main.adb

Make glob patterns for filenames case sensitive on non-Windows systems

2023-02-16 13:59:45 +00:00

pkg.adb

Make glob patterns for filenames case sensitive on non-Windows systems

2023-02-16 13:59:45 +00:00

pkg.ads

Make glob patterns for filenames case sensitive on non-Windows systems

2023-02-16 13:59:45 +00:00

test.py

Add a renaming of the --ignore-source-files switch

2025-11-28 09:30:40 +01:00