Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ada/gprbuild: Fix build with -Wl,-r | 2018-11-26 | 1 | -0/+6 | |
* | dev-ada/gprbuild: Stabilize and remove old | 2018-11-07 | 1 | -1/+1 | |
* | dev-ada/gprbuild: Fix configuration for 2017 version too | 2018-10-27 | 1 | -0/+89 |