summaryrefslogtreecommitdiff
path: root/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch
AgeCommit message (Expand)Author
2018-06-30gentoo resync : 30.06.2018V3n3RiX