summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gnatcoll-core: amd64 stable wrt bug #800527Agostino Sarubbo2021-07-201-1/+1
* dev-ada/gnatcoll-core: change doc path to /usr/share/gnatdocAlfredo Tupone2021-06-251-0/+77