summaryrefslogtreecommitdiff
path: root/dev-lang/gnat-gpl
AgeCommit message (Expand)Author
2018-06-16gentoo resync : 16.06.2018V3n3RiX
2018-04-22gentoo resync : 22.04.2018V3n3RiX
2018-03-02gentoo resync : 02.03.2018V3n3RiX
2017-12-31gentoo resync : 31.12.2017 (final resync this year)V3n3RiX
2017-12-09gentoo resync : 09.12.2017V3n3RiX
2017-12-01gentoo resync : 01.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX