You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
Disabling GNAT warnings from the GUI in the `GNATSAS -> Analyze...` menu did not correctly update the command-line.
(cherry picked from commit d73912ff99)