Andry Ogorodnik 972a2b289f Merge branch 'gs_gnatsas_210' into 'master' ...

Reload the GNATSAS report after `baseline` actions

See merge request eng/ide/gnatstudio!699

(cherry picked from commit 0bf9149e49)

78943d73 Reload the GNATSAS report after `baseline` actions

Co-authored-by: Andry Ogorodnik <ogorodnik@adacore.com>

2024-11-28 08:54:30 +00:00

..

bt

Fix style issue introduced by eng/ide/gnatstudio!181

2023-09-14 11:21:09 +02:00

obj

Fix permissions

2009-11-23 20:11:05 +00:00

orm-gen

R131-030: Reflect the database modification

2018-08-10 10:21:02 +02:00

src

Merge branch 'gs_gnatsas_210' into 'master'

2024-11-28 08:54:30 +00:00

code_analysis.gpr

S405-012: Rewrite the Outline view

2020-04-06 15:14:34 +02:00