summaryrefslogtreecommitdiff
path: root/dev-ada/gprbuild
AgeCommit message (Expand)Author
2018-03-02gentoo resync : 02.03.2018V3n3RiX
2018-01-21gentoo resync : 21.01.2018V3n3RiX
2017-12-20gentoo resync : 20.12.2017V3n3RiX
2017-12-03gentoo resync : 03.12.2017V3n3RiX
2017-12-01gentoo resync : 01.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-11-20gentoo resync : 20.11.2017V3n3RiX
2017-11-15gentoo resync : 15.11.2017V3n3RiX
2017-11-12gentoo resync : 12.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX