Andry Ogorodnik e2500b6796 Fixing displaying of time spent after a run ...

For eng/ide/gnatstudio#374

2024-09-23 16:49:02 +03: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

Fixing displaying of time spent after a run

2024-09-23 16:49:02 +03:00

code_analysis.gpr

S405-012: Rewrite the Outline view

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