Vadim Godunko 8faf739b22 Merge branch 'cherry-pick-0fd7349d' into '25.0' ...

Merge branch 'topic/vadim/subtypes' into 'master'

See merge request eng/ide/gnatdoc!130

2024-10-03 14:14:48 +00:00

..

nocrash

Merge branch 'topic/vadim/lal-workaround' into 'master'

2024-10-03 11:16:16 +00:00

print-gpr-registry

Update expected output due to change in GNATCOLL.

2024-07-09 10:34:04 +04:00

projects_aggregated_exclusion

Merge branch 'topic/#88' into 'master'

2024-10-02 10:10:31 +00:00

sanity_check

Add testcase.

2023-11-24 15:08:58 +04:00

tagged_types_hierarchy

Merge branch 'topic/vadim/subtypes' into 'master'

2024-10-03 11:15:53 +00:00