summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gprbuild: Fix documentation directoriesTupone Alfredo2017-03-301-0/+3
* dev-ada/gprbuild: Now that dev-ada/xmlada is in, use it to buildTupone Alfredo2017-03-291-25/+49
* dev-ada/gprbuild: Fix executable stackTupone Alfredo2017-03-281-3/+5
* dev-ada/gprbuild: Add gprbuild-gpl-2016Tupone Alfredo2017-03-221-0/+75