Vincent Jicquel b204f796ba Return '__others__' as the name for the 'others' GPR special attribute index ...

The term "others" (without quotes) refers to a special attribute index used to
specify all the indexes existing in the project. The Attribute_Indexes operates
with strings, while the GPR API works with Name_Ids in this case.

A special value, "__others__", is now returned so that GNATCOLL users can
differentiate the "others" index from the previously mentioned special one.

2025-04-14 15:51:46 +02:00

..

config

Review gnatcoll-core structure

2024-07-15 16:56:33 +02:00

src

Return '__others__' as the name for the 'others' GPR special attribute index

2025-04-14 15:51:46 +02:00

gnatcoll_projects.gpr

Review gnatcoll-core structure

2024-07-15 16:56:33 +02:00

gnatcoll_projects.gpr.py

Review gnatcoll-core structure

2024-07-15 16:56:33 +02:00

VERSION

Review gnatcoll-core structure

2024-07-15 16:56:33 +02:00