summaryrefslogtreecommitdiff
path: root/dev-ada/gprbuild
AgeCommit message (Expand)Author
2018-10-22gentoo resync : 22.10.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-07gentoo resync : 07.07.2018V3n3RiX
2018-06-30gentoo resync : 30.06.2018V3n3RiX
2018-06-16gentoo resync : 16.06.2018V3n3RiX
2018-04-22gentoo resync : 22.04.2018V3n3RiX
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