ada/xmlada
0
0
Fork 0
mirror of https://github.com/AdaCore/xmlada.git synced 2026-02-12 12:30:28 -08:00
Code Issues Packages Projects Releases Wiki Activity
1,552 Commits 91 Branches 17 Tags
github/pull/18
Commit Graph

1 Commits

Author SHA1 Message Date
Fabien Chouteau
512a7fc92d Rename shared.gpr into xmlada_shared.gpr 
For the same reason as the external variables, shared.gpr can be a
source of conflict between different projects. For instance with AWS.

This change has no impact on the installation since shared.gpr is not
provided in the installation.

Part of T715-030.

Change-Id: Ie0ac01a23c34981b75055fbe8a45db9cc50a581f
 2020-08-07 19:30:24 +02:00