Change map api identifier to mantle api identifier

Ton Weeninkrequested to merge
tonweenink/gt-gen-core:Change_map_api_Identifier_to_mantle_api_Identifier into main

Adapt gt-gen-core to use the mantle_api Identifer (typedeffed as map_api::Identifier)

Edited by Ton Weenink

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent