Blady 1cbb9e1af9 Avoid "gnat1: invalid switch: -gnat05" error and "docs.gpr:22:09: warning: there are no sources of language "Project file" in this project" warning.

2018-09-15 10:53:44 +02:00

1.8 KiB

Raw Permalink Blame History

View Raw