summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gnatcoll-core: Better block against dev-ada/gnatcollTupone Alfredo2018-06-301-3/+3
* dev-ada/gnatcoll-core: Remove ada manifestsTupone Alfredo2018-06-281-3/+4
* dev-ada/gnatcoll-core: Good for gnat_2017 tooTupone Alfredo2018-06-281-6/+10
* dev-ada/gnatcoll-core: Adapt to change in gnat-gpl-2018Tupone Alfredo2018-06-251-2/+2
* dev-ada/gnatcoll-core: Add dev-ada/gnatcoll-coreTupone Alfredo2018-06-124-0/+126