Files
Guillaume Rivier 38adf1745e Fix disabling of GNAT warnings
Disabling GNAT warnings from the GUI in the `GNATSAS -> Analyze...` menu did not correctly update the command-line.

(cherry picked from commit d73912ff99)
2025-02-18 11:22:36 +00:00
..
2025-02-18 11:22:36 +00:00
2024-11-01 12:12:44 +09:00