aboutsummaryrefslogblamecommitdiff
path: root/devel/gps/files/patch-gnatlib-gnatcoll_shared.gpr.in
blob: 68125cdf2a9d9142c9c0cb8f3d000b820c94a216 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11